MODULE Undecl;
VAR x : INTEGER;
BEGIN x := y + 1
END Undecl.