MODULE Test24;

IMPORT Out;

PROCEDURE W;
  PROCEDURE Z;
    PROCEDURE Y;
      PROCEDURE X;
      BEGIN (* X *)
        X; Y; Z; W;
      END X;
    BEGIN (* Y *)
      X; Y; Z; W;
    END Y;
  BEGIN (* Z *)
    Y; Z; W;
  END Z;
BEGIN (* W *)
  Z; W;
END W;

END Test24.

Проверка вложенных процедур.
Должно как компилироваться, так и проходить верификацию в рантайме.