+ fflush (stderr);
+ if (s.length ())
+ progress_newline = s[s.length () - 1] == '\n';
+}
+
+/* Display a single user message. Always starts on a new line. */
+void
+message (String s)
+{
+ if (!progress_newline)
+ fputc ('\n', stderr);
+ progress_indication (s);