CBB_add_u32
if (!CBB_add_u32(cbb, a))
return CBB_add_u32(cbb, b);
int CBB_add_u32(CBB *cbb, size_t value);
if (!CBB_add_u32(cbb, a))
return CBB_add_u32(cbb, b);
int CBB_add_u32(CBB *cbb, size_t value);
if (!CBB_add_u32(&session_ticket,