DEFINITION MODULE L2Mod;
VAR b : INTEGER;
END L2Mod.