(* Test: simple procedure with integer argument *)

MODULE Main;

PROCEDURE P (i: INTEGER) =
  BEGIN
    i := i + 1;
  END P;

BEGIN
  P (3);
END Main.