rem: printf (format_sp_int, space, umaxtostr (words, buf)); space = " ";
add: printf (format_int, number_width, umaxtostr (words, buf)); format_int = format_sp_int;
context: write_counts (uintmax_t lines,	      uintmax_t words,	      uintmax_t chars,	      uintmax_t bytes,	      uintmax_t linelength,	      const char *file){  char buf[INT_BUFSIZE_BOUND (uintmax_t)];  char const *space = "";  char const *format_int = (posixly_correct ? "%s" : "%7s");  char const *format_sp_int = (posixly_correct ? "%s%s" : "%s%7s");  if (print_lines)    {      printf (format_int, umaxtostr (lines, buf));      space = " ";    }  if (print_words)    {      printf (format_sp_int, space, umaxtostr (words, buf));      space = " ";    }  if (print_chars)    {      printf (format_sp_int, space, umaxtostr (chars, buf));      space = " ";    }  if (print_bytes)    {      printf (format_sp_int, space, umaxtostr (bytes, buf));      space = " ";    }  if (print_linelength)    {      printf (format_sp_int, space, umaxtostr (linelength, buf));    }  if (*file)    printf (" %s", file);  putchar ('\n');}