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