CBB_add_u32_length_prefixed
if (!CBB_add_u32_length_prefixed(&cbb, &cbb_bin))
int CBB_add_u32_length_prefixed(CBB *cbb, CBB *out_contents);