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) {write a;} ;
    write 1000;
    if(1 != 2 && False => True && !(d <=> True)) then {
    	foreach(a inSeq c) {c := cons a c;};
    };
    a := ((2+3)/6*(4));
}
