pub type BadgeNotification = *mut c_void;