M2compiler-V1/tests/b_bad_ret.mod

MODULE BBadRet;
MODULE M EXPORT cnt;
VAR cnt : INTEGER;
BEGIN
  RETURN
END M;
VAR ExitCode : INTEGER;
BEGIN
  ExitCode := 0
END BBadRet.