Finally, the definition of
va_end is implementation dependent, but
the effect may be just to reset the argument pointer as though the
following were written in the definition of
((void) argument_pointer = NULL)
The final cast to
void is useful only if the
expression is embedded in a larger expression.