2256         symbol->accept(generate_c_config);

  2256         symbol->accept(generate_c_config);

  2257 

  2257 

  2258         config_s4o.print("unsigned long long common_ticktime__ = ");

  2258         config_s4o.print("unsigned long long common_ticktime__ = ");

  2259         config_s4o.print_long_long_integer(common_ticktime);

  2259         config_s4o.print_long_long_integer(common_ticktime);

  2260         config_s4o.print("; /*ns*/\n");

  2260         config_s4o.print("; /*ns*/\n");

  2262         config_s4o.print_long_integer(calculate_common_ticktime.get_greatest_tick_count());

  2262         config_s4o.print_long_integer(calculate_common_ticktime.get_greatest_tick_count());

  2263         config_s4o.print("; /*tick*/\n");

  2263         config_s4o.print("; /*tick*/\n");

  2264       }

  2264       }

  2265 

  2265 

  2266       symbol->resource_declarations->accept(*this);

  2266       symbol->resource_declarations->accept(*this);