Constant rpi_pico_sdk_sys::PICO_TIME_DEFAULT_ALARM_POOL_HARDWARE_ALARM_NUM

pub const PICO_TIME_DEFAULT_ALARM_POOL_HARDWARE_ALARM_NUM: u32 = 3;