(* testing for stmts *)


main(): void {

 a, b: int;
 {

   for (b = 1 to a*b)
        b = 9;

   for (a = 3 to 5) {
        a = a + 1;
        b = 2
   }

 }

}