-static int view_width = -1;
-static int view_length = -1;
-
-/* Initializes the terminal interface by determining the size of
- the user's terminal. Stores a pointer to the size variables
- in *VIEW_WIDTH_P and *VIEW_LENGTH_P. */
-void
-terminal_init (int **view_width_p, int **view_length_p)
-{
- *view_width_p = &view_width;
- *view_length_p = &view_length;
- terminal_check_size ();
-}
-