Constant rpi_pico_sdk::PICO_TIME_DEFAULT_ALARM_POOL_HARDWARE_ALARM_NUM

pub const PICO_TIME_DEFAULT_ALARM_POOL_HARDWARE_ALARM_NUM: u32 = 3;