diff -r e6a841e365b7 -r fd67f54e64e1 stage4/stage4.cc
--- a/stage4/stage4.cc	Fri May 11 16:29:22 2007 +0200
+++ b/stage4/stage4.cc	Mon May 14 09:48:25 2007 +0200
@@ -79,6 +79,15 @@
   return NULL;
 }
 
+void *stage4out_c::printlocation(const char *str) {
+  std::cout << "__";
+  for (int i = 0; str[i] != '\0'; i++)
+    if(str[i] == '.')
+      std::cout << '_';
+    else
+      std::cout << (unsigned char)toupper(str[i]);
+  return NULL;
+}
 
 void *stage4out_c::print(std::string str) {
   std::cout << str;
@@ -100,7 +109,9 @@
 #endif
   return NULL;
 }
-
+void *stage4out_c::printlocation(std::string str) {
+  printlocation(str.c_str());
+}
 
 
 /***********************************************************************/