On May 22, 2006, at 9:32 PM, matthew green wrote:
> hmm, shouldn't this really just be defined as wbflush() and avoid
> all those (void) casts? or are those there to avoid unused argument
> warnings?
The (void) casts are intended to consume all of the arguments.
-- thorpej