Constant GPIO_INT0_IRQ4 

pub const GPIO_INT0_IRQ4: u32 = 32;