MODULE Test;

  VAR
    x : INTEGER;
    p : PROCEDURE;

  PROCEDURE X;
  BEGIN
    x := 1;
    x := 2;
    x := 3;
    p
  END X;

BEGIN
  X;
END Test.