Constant PICO_DEFAULT_UART 

pub const PICO_DEFAULT_UART: u32 = 0;