Constant PICO_DEFAULT_UART_TX_PIN 

pub const PICO_DEFAULT_UART_TX_PIN: u32 = 0;