i2c_ASN1_INTEGER
int i2c_ASN1_INTEGER(ASN1_INTEGER *a, unsigned char **pp);
return i2c_ASN1_INTEGER((ASN1_INTEGER *)*pval,
ret = i2c_ASN1_INTEGER(aint, pp);