Constant PICO_DEFAULT_UART_BAUD_RATE 

pub const PICO_DEFAULT_UART_BAUD_RATE: u32 = 115200;