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