module variable_name_as_type; var a : integer; // type as variable, must fail b : a; begin a := 1; end