Constant libpapi_sys::SHRT_MAX

pub const SHRT_MAX: u32 = 32767;