-void doWarnIf(char const * expr, docstring const & msg, char const * file, long line);
-void doBufErr(char const * expr, docstring const & msg, char const * file, long line);
-void doAppErr(char const * expr, docstring const & msg, char const * file, long line);
+void doWarnIf(char const * expr, char const * file, long line);
+void doBufErr(char const * expr, char const * file, long line);
+void doAppErr(char const * expr, char const * file, long line);