#ifndef DBX_CMD_H
#define DBX_CMD_H 1

int    exec_cmd YARGS((char *line));
int    get_flag YARGS((char key));
char * get_opt YARGS((char key));
char * get_arg YARGS((void));

void redraw YARGS((void));

#endif
