run-spec-wasm2c.py 14 KB