wabt

cfe0f5e7 - wasm2c: Cleanup formatting of wasm-rt.h