pub const SHRT_MAX: u32 = 32767;