CBS_get_asn1_uint64
if (!CBS_get_asn1_uint64(&child, out) ||
int CBS_get_asn1_uint64(CBS *cbs, uint64_t *out);
if (!CBS_get_asn1_uint64(&child, out) ||
int CBS_get_asn1_uint64(CBS *cbs, uint64_t *out);
if (!CBS_get_asn1_uint64(&session, &version))
if (!CBS_get_asn1_uint64(&session, &tls_version))
CHECK(CBS_get_asn1_uint64(&cbs, &value));
CHECK(!CBS_get_asn1_uint64(&cbs, &value));