pub type WasmEdge_NumType = c_uint;