pub const IEK_ZERO: ExpInt = _; // -32_767i16