(* testing if-then-else *) main(): void { a, b : int; { if (a>3) then b = 4 else { a = 3; b = 9 }; if (b+999) then b = 1000 } }