DEFINITION MODULE Cmp;
PROCEDURE IntCompare(a, b : INTEGER) : INTEGER;
END Cmp.