MODULE Test29; PROCEDURE A(a : INTEGER); VAR x : INTEGER; END A; PROCEDURE B(b : SHORTINT); PROCEDURE A(c : LONGINT); VAR y : ARRAY 3 OF INTEGER; END A; END B; END Test29. Объявление локальной процедуры не должно конфликтовать с глобальным.