-extern int nodev();
-
-int topcat_scroll(), topcat_init(), topcat_deinit();
-int topcat_clear(), topcat_putc(), topcat_cursor();
-int gatorbox_scroll(), gatorbox_init(), gatorbox_deinit();
-int gatorbox_clear(), gatorbox_putc(), gatorbox_cursor();
-int rbox_scroll(), rbox_init(), rbox_deinit();
-int rbox_clear(), rbox_putc(), rbox_cursor();
-int dvbox_scroll(), dvbox_init(), dvbox_deinit();
-int dvbox_clear(), dvbox_putc(), dvbox_cursor();
-
-struct itesw itesw[] =
-{
- topcat_init, topcat_deinit, topcat_clear,
- topcat_putc, topcat_cursor, topcat_scroll,
-
- gatorbox_init, gatorbox_deinit, gatorbox_clear,
- gatorbox_putc, gatorbox_cursor, gatorbox_scroll,
-
- rbox_init, rbox_deinit, rbox_clear,
- rbox_putc, rbox_cursor, rbox_scroll,
-
- dvbox_init, dvbox_deinit, dvbox_clear,
- dvbox_putc, dvbox_cursor, dvbox_scroll,
-};