128         std::string::size_type width;  in refill()  local
130             width = input.length() - start;  in refill()
133                 width = target_width;  in refill()
138                     width = input.find_first_of(" ", start + target_width);  in refill()
139                     if (width == std::string::npos)  in refill()
140                         width = input.length() - start;  in refill()
142                         width -= start;  in refill()
144                     width = pos - start;  in refill()
148         INV(width != std::string::npos);  in refill()
149         INV(start + width <= input.length());  in refill()
150         INV(input[start + width] == ' ' || input[start + width] == '\0');  in refill()
151         output.push_back(input.substr(start, width));  in refill()
153         start += width + 1;  in refill()