dump_table
#define ddump_table(t, s) dump_table(t, s)
extern char **dump_table();
data = dump_table();
if (dump_table) {
static bool dump_table, timing, verbose;
dump_table = true;