pub type __guest_handle_const_int = *const c_int;