Cond2) = 12 DO // SA0095 x [...] Cond := FALSE; UNTIL (x

_IF WHILE test = 1 DO [...] ; // empty statements do [...] 2 DO //for