M2compiler-V1/S4L.def

DEFINITION MODULE S4L;
CONST base = 100;
TYPE Pair = RECORD a, b : INTEGER END;
VAR n : INTEGER;
PROCEDURE Add(x, y : INTEGER) : INTEGER;
PROCEDURE Bump(VAR x : INTEGER);
END S4L.