sjrd/mozart2 — comment on commit 670fd513ebe7049cd31dfc9016ea4a9b683beb28
File:  line 0
By sjrd:

Ah yes indeed. It would be better in the memory manager.