/
| 1212 | |
| 1213 | /*****************************************************************************/ |
| 1214 | static int echo(const char *args) { |
| 1215 | /***************************************************************************** |
| 1216 | Add user defined noise to the output stream |
| 1217 | ******************************************************************************/ |
| 1218 | fprintf(T.fout, "%s\n", args); |
| 1219 | return 0; |
| 1220 | } |
| 1221 | |
| 1222 | /*****************************************************************************/ |
| 1223 | static int skip(const char *args) { |