83         std::string::size_type width;  in refill()  local
85             width = input.length() - start;  in refill()
88                 width = target_width;  in refill()
93                     width = input.find_first_of(" ", start + target_width);  in refill()
94                     if (width == std::string::npos)  in refill()
95                         width = input.length() - start;  in refill()
97                         width -= start;  in refill()
99                     width = pos - start;  in refill()
103         INV(width != std::string::npos);  in refill()
104         INV(start + width <= input.length());  in refill()
105         INV(input[start + width] == ' ' || input[start + width] == '\0');  in refill()
106         output.push_back(input.substr(start, width));  in refill()
108         start += width + 1;  in refill()