-extern void llgenmsg (/*@only@*/ cstring p_s, fileloc p_fl) /*@modifies g_msgstream@*/ ;
-extern /*@noreturn@*/ void llfatalerror (/*@only@*/ cstring p_s) /*@modifies g_msgstream@*/ ;
+extern void llgenmsg (/*@only@*/ cstring p_s, fileloc p_fl)
+ /*@modifies g_warningstream@*/ ;
+
+extern /*@noreturn@*/ /*:private:*/
+void xllfatalerror (char *p_srcFile, int p_srcLine, /*@only@*/ cstring p_s)
+ /*@modifies g_errorstream@*/ ;
+
+extern /*@noreturn@*/ void llfatalerror (/*@only@*/ cstring p_s)
+ /*@modifies g_errorstream@*/ ;
+# define llfatalerror(p_s) xllfatalerror (__FILE__, __LINE__, p_s)
+
+extern /*@noreturn@*/ /*:private:*/ void
+xllfatalerrorLoc (char *p_srcFile, int p_srcLine, /*@only@*/ cstring p_s)
+ /*@globals g_currentloc@*/
+ /*@modifies g_errorstream@*/ ;
+