void echo(char *args);