-void error (String s);
-void message (String s);
-void non_fatal_error (String);
-void programming_error (String s);
-void progress_indication (String s);
-void warning (String s);
+void error (string s);
+void message (string s);
+void non_fatal_error (string);
+void programming_error (string s);
+void progress_indication (string s);
+void warning (string s);