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

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

  2136             s4o.print(")");

  2136             s4o.print(")");

  2137           }

  2137           }

  2138           print_retain();

  2138           print_retain();

  2139           s4o.print(")");

  2139           s4o.print(")");

  2140 #if 0

  2141 #if 0

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

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

  2142        * But it is not currently required...

  2143        * But it is not currently required...

  2143        */

  2144        */

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

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