void cmd_dispatch (struct tty *tty, const char *line);