Constant PICO_UART_DEFAULT_CRLF 

pub const PICO_UART_DEFAULT_CRLF: u32 = 0;