ossl_i2c_ASN1_INTEGER
int ossl_i2c_ASN1_INTEGER(ASN1_INTEGER *a, unsigned char **pp);
return ossl_i2c_ASN1_INTEGER((ASN1_INTEGER *)*pval, cout ? &cout : NULL);