Constant SHRT_MAX 

pub const SHRT_MAX: c_short = 0x7FFF;