608     char *separator = "";  in print_flags()  local
612         strcat(buf, separator);  in print_flags()
614         separator = ",";  in print_flags()
617         strcat(buf, separator);  in print_flags()
619         separator = ",";  in print_flags()
622         strcat(buf, separator);  in print_flags()
624         separator = ",";  in print_flags()
627         strcat(buf, separator);  in print_flags()
629         separator = ",";  in print_flags()
632         strcat(buf, separator);  in print_flags()
634         separator = ",";  in print_flags()
637         strcat(buf, separator);  in print_flags()
639         separator = ",";  in print_flags()
641     if (separator[0] == 0)  in print_flags()