M2compiler-V3/compiler/tests/sep_empty_prog.mod

MODULE SepEmptyProg;
FROM SepEmpty IMPORT Answer;
VAR ExitCode : INTEGER;
BEGIN
  IF Answer() = 42 THEN ExitCode := 42 ELSE ExitCode := 1 END
END SepEmptyProg.