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

Shouldn't this be in the memory manager?
It would be cumbersome to duplicate if we need to allocate arrays in other memory managers (during gc, serialization, etc.)