Made memory manager asm.js-compatible.