MODULE Test18A;

VAR
  x : PROCEDURE(i : INTEGER);

PROCEDURE X(a : INTEGER);
END X;

BEGIN
  x := X;
END Test18A.

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