pub type __guest_handle_uint32 = *mut u32;