MODULE Test18B;

VAR
  x : PROCEDURE(VAR i : INTEGER);

PROCEDURE X(a : INTEGER);
END X;

BEGIN
  x := X;
END Test18B.

Проверка процедурного типа. Тест должен проваливаться.