This comes from WebAssembly: