IMPLEMENTATION MODULE Sig;
(* Mismatched implementation: Add has the right arity but a wrong
   result type; Fill's first formal is missing VAR. *)
PROCEDURE Add(a, b : INTEGER) : CHAR;
BEGIN RETURN "x" END Add;
PROCEDURE Fill(buf : ARRAY OF CHAR; n : CARDINAL);
BEGIN END Fill;
END Sig.