diff -r 873a5b60a7ea -r 8998c8b24b60 stage4/generate_cc/generate_location_list.cc
--- a/stage4/generate_cc/generate_location_list.cc	Thu Jul 12 11:24:32 2007 +0200
+++ b/stage4/generate_cc/generate_location_list.cc	Fri Jul 13 19:20:26 2007 +0200
@@ -118,11 +118,12 @@
 /********************************************/
 
     void *visit(direct_variable_c *symbol) {
+      s4o.print("__LOCATED_VAR(");
       current_var_type_symbol->accept(*generate_cc_base);
-      s4o.print(" ");
+      s4o.print(",");
       /* Do not use print_token() as it will change everything into uppercase */
       s4o.printlocation((symbol->value)+1);
-      s4o.print("\n");
+      s4o.print(")\n");
       return NULL;
     }