db_deletewatch_cmd  469 ddb/db_command.c 	{ "dwatch",	db_deletewatch_cmd,	0,		NULL },
db_deletewatch_cmd   51 ddb/db_watch.h void db_deletewatch_cmd(db_expr_t, int, db_expr_t, char *);