MODULE Main;

(* The dupliate formal 'a' should generate an error, but
   not crash the compiler. *)

PROCEDURE P (a: INTEGER;  b: INTEGER;  a: BOOLEAN) =
  BEGIN
    IF (a) THEN EVAL b END;
  END P;

BEGIN
  P (1, 2, FALSE);
END Main.