Constant CONFIGURE_INTERRUPT 

pub const CONFIGURE_INTERRUPT: u64 = 0x65a8a4db7d0f3ca3;