[][src]Constant CCODE::SHRT_MAX

pub const SHRT_MAX: u32 = 32767;