Constant ExternalReaderDeparture 

pub const ExternalReaderDeparture: SECURE_ELEMENT_EVENT_TYPE;