Непонятно, что у вас за проблемы с локальными процедурами. Полезнейшая вещь, что бы не засорять глобальное пространство имён... А если они ещё и анонимные в нужном месте с удобным синтаксисом -- вообще самое то...

Сколько разрабатывается компилятор Зоннона, до сих пор там не реализованы эти самые локальные процедуры... Что-то в консерватории не так?

Оберон всё дальше и дальше возвращается к своему самому недостойному противнику -- Си...