Constant rpi_pico_sdk::INT16_MAX

pub const INT16_MAX: u32 = 32767;