See the comments [here](https://github.com/WebAssembly/wabt/pull/1553#issuecomment-703713792) for background. /cc @binji @aardappel