(* testing var declarations *) main(): void { j : int; k = 4 }