program firstExample {
                    declarations
                    a -> Integer;
                    b -> Set;
                    c -> Sequence;
                    d -> Boolean;
                    e -> Array[10];
                    
statements
                    foreach(a inSeq c) satisfying ((elemSet a b)) {
                                                                 write a;
                                                                  };
                    invariant True;
                    variant 0;
                    while(((d => True) => False) && !(d <=> False)) {
                    skip;
                    };
                    a := (((2 + 3) / 6) * e[(2 + 1)]);
                     }