Constant rpi_pico_sdk_sys::PICO_TIME_DEFAULT_ALARM_POOL_MAX_TIMERS

pub const PICO_TIME_DEFAULT_ALARM_POOL_MAX_TIMERS: u32 = 16;