M2compiler-V1/tests/p_bad_arity.mod

MODULE PBadArity;
VAR ExitCode : INTEGER;
PROCEDURE Add(a, b : INTEGER) : INTEGER;
BEGIN
  RETURN a + b
END Add;
BEGIN
  ExitCode := Add(1)
END PBadArity.