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