pub const WasmEdge_NumType_V128: WasmEdge_NumType = 123;