Listing:

    1  DEFINITION MODULE L2Mod;
    2  VAR b : INTEGER;
    3  END L2Mod.

    0 errors