pub type BadgeUpdateManagerForUser = *mut c_void;