M2compiler-V3/compiler/tests/sepres_prog.mod

MODULE SepResProg;
FROM SepRes IMPORT Value, Add;
VAR ExitCode : INTEGER;
BEGIN
  Add(2);
  IF Value = 42 THEN ExitCode := 42 ELSE ExitCode := 1 END
END SepResProg.