ASN1_TYPE_cmp
return ASN1_TYPE_cmp(a->parameter, b->parameter);
result = ASN1_TYPE_cmp(a->value, b->value);
int ASN1_TYPE_cmp(const ASN1_TYPE *a, const ASN1_TYPE *b);
if (!TEST_int_eq(ASN1_TYPE_cmp(itav->infoValue.other, pushed_val), 0))