Constant SIO_IRQ_PROC0 

pub const SIO_IRQ_PROC0: u32 = 15;