DEFINITION MODULE DefMod;
VAR x : INTEGER;
END DefMod.