The implementation from [this commit](https://github.com/WebAssembly/wabt/commit/1f59b65d8befc8512ff9045bb371ea5ec379a78c) is missing from the proposal overview in the readme file.