Constant PICO_DEBUG_PIN_COUNT 

pub const PICO_DEBUG_PIN_COUNT: u32 = 3;