2132             this->current_var_init_symbol->accept(*this);

  2132             this->current_var_init_symbol->accept(*this);

  2133             s4o.print(")");

  2133             s4o.print(")");

  2134           }

  2134           }

  2135           print_retain();

  2135           print_retain();

  2136           s4o.print(")");

  2136           s4o.print(")");

  2137 #if 0

  2138 #if 0

  2138       /* The following code would be for globalinit_vf !!

  2139       /* The following code would be for globalinit_vf !!

  2139        * But it is not currently required...

  2140        * But it is not currently required...

  2140        */

  2141        */

  2141       s4o.print(s4o.indent_spaces + "__ext_element_c<");

  2142       s4o.print(s4o.indent_spaces + "__ext_element_c<");