Constant PICO_DEFAULT_UART_RX_PIN 

pub const PICO_DEFAULT_UART_RX_PIN: u32 = 1;