That appears to use https://github.com/WebAssembly/polyfill-prototype-1, which does not match the current binary format at all.

The current way to do the equivalent would be to use Binaryen's asm2wasm tool.

https://github.com/WebAssembly/binaryen