+/* The SIGWINCH handler winch_called() merely sets world.winch to 1. This info
+ * is used by io_loop() to call reset_windows(), which adapts the currently
+ * loaded interface configuration to the new screen size.
+ */
+extern void winch_called();
+extern void reset_windows();
+