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,
CHECK_GOTO(CBB_add_u32(&cbb, 0x708090a));