Result of wasm2wat shim.wasm: