M2compiler-V3/compiler/tests/t_bad_funstmt.mod

MODULE TBadFunStmt;
PROCEDURE F() : INTEGER;
BEGIN
  RETURN 1
END F;
BEGIN
  F()
END TBadFunStmt.