CBS_get_optional_asn1_uint64
int CBS_get_optional_asn1_uint64(CBS *cbs, uint64_t *out, unsigned int tag,
int CBS_get_optional_asn1_uint64(CBS *cbs, uint64_t *out, unsigned int tag,
if (!CBS_get_optional_asn1_uint64(&session, &stime, SSLASN1_TIME_TAG,
if (!CBS_get_optional_asn1_uint64(&session, &timeout,
if (!CBS_get_optional_asn1_uint64(&session, &verify_result,
if (!CBS_get_optional_asn1_uint64(&session, &lifetime,
CHECK(CBS_get_optional_asn1_uint64(&data, &value, 0xa0, 42));
CHECK(CBS_get_optional_asn1_uint64(&data, &value, 0xa0, 42));
CHECK(CBS_get_optional_asn1_uint64(&data, &value, 0xa1, 42));
CHECK(!CBS_get_optional_asn1_uint64(&data, &value, 0xa1, 42));