module unknown_variable; begin a := 1; // must warn here about an unknown variable end