module unknown_type; var a : bigint23; // must warn here about an unknown type begin a := 1; end