DEFINITION MODULE L1Mod;
VAR a : INTEGER;
END L1Mod.