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]);
}
