DEFINITION MODULE ClashA;
VAR count : INTEGER;
PROCEDURE Get : INTEGER;
END ClashA.