On Fri, Mar 11, 2005 at 03:40:41PM -0700, Jim Cromie wrote: > There is no skip_rest(), but skip_all() can do that job, with a tiny > enhancement
I would really rather it be called skip_rest(). There's no reason to wedge two different bits of functionality into one function.