M2compiler-V3/compiler/tests/t_bad_arity.mod

MODULE TBadArity;
PROCEDURE P(a, b : INTEGER);
BEGIN
END P;
BEGIN
  P(1)
END TBadArity.