Constant rpi_pico_sdk::UINT32_MAX

pub const UINT32_MAX: u32 = 4294967295;