+/** A midrule-value warning. Report iff
+ <tt>warnings_flag & warnings_midrule_values</tt>. */
+
+void midrule_value_at (location loc, char const *format, ...)
+ __attribute__ ((__format__ (__printf__, 2, 3)));
+
+/** A fatal error, causing immediate exit. */
+
+void fatal (char const *format, ...)
+ __attribute__ ((__noreturn__, __format__ (__printf__, 1, 2)));