--- a/stage4/generate_c/generate_c.cc	Wed Apr 25 16:56:25 2012 +0100
+++ b/stage4/generate_c/generate_c.cc	Tue Apr 24 16:49:43 2012 +0200
@@ -1674,7 +1674,8 @@
   s4o.print(s4o.indent_spaces);
   vardecl = new generate_c_vardecl_c(&s4o,
                                      generate_c_vardecl_c::constructorinit_vf,
-                                     generate_c_vardecl_c::global_vt);
+                                     generate_c_vardecl_c::global_vt,
+                                     symbol->configuration_name);
   vardecl->print(symbol);
   delete vardecl;
   s4o.print("\n");