-
-#else /* not __STDC__ */
-
-char *input_file_give_next_buffer ();
-char *input_file_push ();
-int input_file_buffer_size ();
-int input_file_is_open ();
-void input_file_begin ();
-void input_file_close ();
-void input_file_end ();
-void input_file_open ();
-void input_file_pop ();
-
-#endif /* not __STDC__ */
-
-/* end of input_file.h */