pub type __guest_handle_uint = *mut c_uint;