MODULE for EXPORTS Main; IMPORT IO, Fmt; CONST start = 10; BEGIN FOR i := 1 TO 10 DO IO.Put("i = " & Fmt.Int(i) & "\n"); END; FOR i := start TO 0 BY -1 DO IO.Put("i = " & Fmt.Int(i) & "\n"); END; END for.