-#else /* not __STDC__ */
-
-void listing_eject ();
-void listing_error ();
-void listing_file ();
-void listing_flags ();
-void listing_list ();
-void listing_newline ();
-void listing_print ();
-void listing_psize ();
-void listing_source_file ();
-void listing_source_line ();
-void listing_title ();
-void listing_warning ();
-void listing_width ();
-
-#endif /* not __STDC__ */
-
-#else /* NO_LISTING */
-
-#define LISTING_NEWLINE() {;}
-
-/* Dummy functions for when compiled without listing enabled */
-
-#define listing_flags() {;}
-#define listing_list() {;}
-#define listing_eject() {;}
-#define listing_psize() {;}
-#define listing_title(depth) {;}
-#define listing_file(name) {;}
-#define listing_newline(name) {;}
-#define listing_source_line(n) {;}
-#define listing_source_file(n) {;}
-
-#endif /* NO_LISTING */
+extern int listing_lhs_width;
+extern int listing_lhs_width_second;
+extern int listing_lhs_cont_lines;
+extern int listing_rhs_width;