pub const INT_LEAST16_MAX: i32 = 32767;