db_dump_window
{ "window", db_dump_window, 0, 0 },
void db_dump_window(db_expr_t, int, db_expr_t, char *);