pub const _ISdigit: c_uint = 2048;