| 9 | // #define INTERACTIVE // for interactive mode testing |
| 10 | |
| 11 | void banner(const char *title) |
| 12 | { |
| 13 | int i; |
| 14 | printf("\n\n/"); |
| 15 | for (i = 0; i < 78; i++) |
| 16 | putchar('*'); |
| 17 | printf("\\\n *%76s*\n * %-75s*\n *%76s*\n\\", "", title, ""); |
| 18 | for (i = 0; i < 78; i++) |
| 19 | putchar('*'); |
| 20 | printf("/\n\n"); |
| 21 | } |
| 22 | |
| 23 | static void error(const char *text) |
| 24 | { |