program firstExample {
                    declarations
                    a -> Integer;
                    b -> Set;
                    c -> Sequence;
                    d -> Boolean;
                    
statements
                    a := 2;
                    b := { };
                    b := { x | (x > a) };
                    c := [];
                    c := [1,a,3];
                    foreach(a inSeq c) satisfying (True) {
                                                        write a;
                                                         };
                    write 1000;
                    if(((1 != 2) && (False => True)) && !(d <=> True)) then  {
                                                                            foreach(a inSeq c) satisfying (True) {
                                                                                                                c := (cons a c);
                                                                                                                 };
                                                                             }
                                                                       else  {
                                                                            skip;
                                                                             }
                    ;
                    a := (((2 + 3) / 6) * 4);
                     }