396             s4o.print("(");

   396             s4o.print("(");

   397             print_variable_prefix();

   397             print_variable_prefix();

   398             s4o.print("__debug_transition_list[");

   398             s4o.print("__debug_transition_list[");

   399             print_transition_number();

   399             print_transition_number();

   400             s4o.print("],");

   400             s4o.print("],");

   401             print_variable_prefix();

   403             print_variable_prefix();

   402             s4o.print("__transition_list[");

   404             s4o.print("__transition_list[");

   403             print_transition_number();

   405             print_transition_number();

   405             s4o.indent_left();

   407             s4o.indent_left();

   406             s4o.print(s4o.indent_spaces + "}\n");

   408             s4o.print(s4o.indent_spaces + "}\n");

   407           }

   409           }

   408           break;

   410           break;

   409         default:

   411         default: