ASN1_INTEGER_get_int64.3