При загрузке модуля происходит вычисление адреса процедуры Kernel.NewRec (аналогично Kernel.NewArr), и его запись в тело загружаемого модуля.
Как выяснилось, если подставить вместо этого адреса свой адрес процедуры MyNewRec то можно получить возможность наблюдения и контроля за создаваемыми объектами.