asn1_aint_get_uint64
if (!asn1_aint_get_uint64(cbs, &val))
if (!asn1_aint_get_uint64(&cbs, &val))
int asn1_aint_get_uint64(CBS *cbs, uint64_t *out_val);