CBS_get_u32
if (!CBS_get_u32(&cbs, &mpi_len)) {
if (!CBS_get_u32(cbs, &a))
if (!CBS_get_u32(cbs, &b))
int CBS_get_u32(CBS *cbs, uint32_t *out);
if (!CBS_get_u32(cbs, &a))
if (!CBS_get_u32(cbs, &b))
int CBS_get_u32(CBS *cbs, uint32_t *out);
if (!CBS_get_u32(&cbs, &lifetime_hint) ||
if (!CBS_get_u32(cbs, &ticket_lifetime))
if (!CBS_get_u32(cbs, &ticket_age_add))
CHECK(CBS_get_u32(&data, &u32));
CHECK(CBS_get_u32(&data, &u32));
CHECK(CBS_get_u32(&data, &u32));