M2compiler-V3/compiler/tests/g_sortprog.mod

MODULE SortProg;
FROM IntSort IMPORT Smaller;
VAR ExitCode : INTEGER;
BEGIN ExitCode := Smaller(7, 3) END SortProg.