Constant WPCEVENT_IM_LEAVE_value 

pub const WPCEVENT_IM_LEAVE_value: u32 = 9u32;