pub type ExternalInterruptID = usize;