Constant ExternalReaderArrival 

pub const ExternalReaderArrival: SECURE_ELEMENT_EVENT_TYPE;