Constant rpi_pico_sdk::NUM_IRQS

pub const NUM_IRQS: u32 = 32;