db_buf_print_cmd
{ "buf", db_buf_print_cmd, 0, NULL },
void db_buf_print_cmd(db_expr_t, int, db_expr_t, char *);