You are right, but changing the starting address of the WebAssembly memory map to something else (like 0x8000) would've been easier.