* If we're at the end of the input, there might be
* more room in inbuf; if so, add it there. Otherwise
* push it back to the input.
*/
* If we're at the end of the input, there might be
* more room in inbuf; if so, add it there. Otherwise
* push it back to the input.
*/