c@190: #include <stdarg.h>
c@190: extern int vprintf(const char *fmt, va_list arg) { }