Constant PICO_DEBUG_PIN_BASE 

pub const PICO_DEBUG_PIN_BASE: u32 = 19;