Constant rpi_pico_sdk::UINT16_MAX

pub const UINT16_MAX: u32 = 65535;