WebAssembly: update syntax