Constant rpi_pico_sdk::INT32_MAX

pub const INT32_MAX: u32 = 2147483647;