diff -r 3b898fb11e73 -r efc510145ab2 stage4/generate_c/generate_c_vardecl.cc
--- a/stage4/generate_c/generate_c_vardecl.cc	Fri Nov 21 13:43:49 2008 +0100
+++ b/stage4/generate_c/generate_c_vardecl.cc	Wed Nov 26 09:06:26 2008 +0100
@@ -1060,6 +1060,16 @@
         symbol->location->accept(*this);
       s4o.print(" = ");
       symbol->location->accept(*this);
+      if (this->current_var_init_symbol != NULL) {
+        s4o.print("; *");
+        print_variable_prefix();
+        if (symbol->variable_name != NULL)
+          symbol->variable_name->accept(*this);
+        else
+          symbol->location->accept(*this);
+        s4o.print(" = ");
+        this->current_var_init_symbol->accept(*this);
+      }
       s4o.print(";}");
       break;