pub const EC_R_ENCODE_ERROR: u32 = 129;