ASN1_INTEGER_set_int64
return ASN1_INTEGER_set_int64(aint, val);
if (!ASN1_INTEGER_set_int64(aint, (int64_t)val))
int ASN1_INTEGER_set_int64(ASN1_INTEGER *aint, int64_t val);