WebAssembly: textual emission uses expected opcode names