FDT_END
case FDT_END:
struct_writer.write_token(dtb::FDT_END);
if (!(struct_table.consume_binary(token) && (token == dtb::FDT_END)))
case dtb::FDT_END: