Constant rpi_pico_sdk::UINT64_MAX

pub const UINT64_MAX: i32 = -1;