(* testing for stmts *) main(): void { a, b: int; { for (b = 1 to a*b) b = 9; for (a = (3>9) to 1) b = 2 } }