diff -r dab341e80664 -r 7cc08964e0a7 stage4/generate_c/generate_c.cc
--- a/stage4/generate_c/generate_c.cc	Wed May 09 23:00:10 2012 +0100
+++ b/stage4/generate_c/generate_c.cc	Wed May 09 23:04:03 2012 +0100
@@ -1665,7 +1665,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");