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