Indeed, that is disabled code, changed to be in pair with the new memory management interface defines that print module name.
The whole code has to be removed actually, probably I left if there when I did the new dynamic mem manager interface just in case it needs to be reverted, but it is clear now is not going to happen.
—
Reply to this email directly or view it on GitHub.