(* testing if-then-else *) i : int; main(): void { a : char; { if (a) then i = 4; if (i>9) then i = 4 } }