pub const _ISxdigit: c_uint = 4096;