procedure Enter (State : out Interrupt_State)
type Interrupt_State is private;
procedure Leave (State : Interrupt_State)