pub const INT_FAST16_MAX: u32 = 32767;