pub const ASN1_R_INTEGER_NOT_ASCII_FORMAT: u32 = 139;