db_dump_ts
{ "ts", db_dump_ts, 0, 0 },
void db_dump_ts(db_expr_t, int, db_expr_t, char *);
db_dump_ts(0, 0, 0, 0);