db_print_cmd      459 ddb/db_command.c 	{ "print",	db_print_cmd,		0,		NULL },
db_print_cmd       41 ddb/db_extern.h void db_print_cmd(db_expr_t, int, db_expr_t, char *);