CBB_add_u64
int CBB_add_u64(CBB *cbb, uint64_t value);
if (!CBB_add_u64(&cbb, sct->timestamp))
CHECK_GOTO(CBB_add_u64(&cbb, 0xd0e0f1011121314LL));