TIP #422: Don't Use stdarg.h/va_list in Public API

TIP #422 may not be edited through the web because its State is Draft.

View the current revision of TIP #422.