156   s4o.print("(");

   156   s4o.print("(");

   157 

   157 

   158   variablegeneration_t old_wanted_variablegeneration = wanted_variablegeneration;

   158   variablegeneration_t old_wanted_variablegeneration = wanted_variablegeneration;

   159   wanted_variablegeneration = complextype_base_vg;

   159   wanted_variablegeneration = complextype_base_vg;

   160   symbol->accept(*this);

   160   symbol->accept(*this);

   163   wanted_variablegeneration = complextype_suffix_vg;

   162   wanted_variablegeneration = complextype_suffix_vg;

   164   symbol->accept(*this);

   163   symbol->accept(*this);

   165   s4o.print(")");

   164   s4o.print(")");

   166   wanted_variablegeneration = old_wanted_variablegeneration;

   165   wanted_variablegeneration = old_wanted_variablegeneration;

   167   return NULL;

   166   return NULL;