CBB_add_asn1_uint64
int CBB_add_asn1_uint64(CBB *cbb, uint64_t value);
int CBB_add_asn1_uint64(CBB *cbb, uint64_t value);
if (!CBB_add_asn1_uint64(&timeout, s->timeout))
if (!CBB_add_asn1_uint64(&verify_result, s->verify_result))
if (!CBB_add_asn1_uint64(&lifetime,
if (!CBB_add_asn1_uint64(&session, SSL_SESSION_ASN1_VERSION))
if (!CBB_add_asn1_uint64(&session, s->ssl_version))
if (!CBB_add_asn1_uint64(&time, s->time))
CHECK_GOTO(CBB_add_asn1_uint64(&cbb, test->value));