Constant rpi_pico_sdk::INT8_MAX

pub const INT8_MAX: u32 = 127;