+ putc ('\n', stderr);
+ fflush (stderr);
+}
+
+/** Wrap error_message() with varargs handling. */
+#define ERROR_MESSAGE(Loc, Prefix, Message) \
+{ \
+ va_list args; \
+ va_start (args, Message); \
+ error_message (Loc, Prefix, Message, args); \
+}
+
+
+/*--------------------------------.
+| Report a warning, and proceed. |
+`--------------------------------*/