wasm_spec_kernel
