SEQ PAR counter = ((x+2)*y) FOR (z \ 3) a.variable (a, b[5], c) WHILE (NOT x.1) counter := counter + 1