Constant ExternalReaderDeparture 

pub const ExternalReaderDeparture: SECURE_ELEMENT_EVENT_TYPE = 1i32;