Constant PICO_TIME_DEFAULT_ALARM_POOL_DISABLED 

pub const PICO_TIME_DEFAULT_ALARM_POOL_DISABLED: u32 = 0;