Whoops, I read right past that line. :-) Thanks, I’ll take a look.<p>For anyone interested, the code is in wasm2asm.h: <a href="https:&#x2F;&#x2F;github.com&#x2F;WebAssembly&#x2F;binaryen&#x2F;blob&#x2F;master&#x2F;src&#x2F;wasm2asm.h" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;WebAssembly&#x2F;binaryen&#x2F;blob&#x2F;master&#x2F;src&#x2F;wasm...</a>