#include <stdio.h>
#include <stdarg.h>
void printf0( const char* format, ... ) {
va_list args;
}
void printf1(const char* format,...) {
va_list args;
va_list args2;
char buf[vsnprintf(NULL, 0, format, args) + 1];
vsnprintf(buf, sizeof buf, format, args2);
}
int main()
{
printf0("Hello, %d!\n", 15);
printf1("Hello, %d!\n", 15);
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdGRhcmcuaD4KCnZvaWQgcHJpbnRmMCggY29uc3QgY2hhciogZm9ybWF0LCAuLi4gKSB7CiAgICB2YV9saXN0IGFyZ3M7CiAgICB2YV9zdGFydChhcmdzLCBmb3JtYXQpOwogICAgdnByaW50Zihmb3JtYXQsIGFyZ3MpOwogICAgdmFfZW5kKCBhcmdzICk7Cn0KCnZvaWQgcHJpbnRmMShjb25zdCBjaGFyKiBmb3JtYXQsLi4uKSB7CiAgdmFfbGlzdCBhcmdzOwogIHZhX3N0YXJ0KGFyZ3MsIGZvcm1hdCk7CiAgCiAgdmFfbGlzdCBhcmdzMjsKICB2YV9jb3B5KGFyZ3MyLCBhcmdzKTsKICBjaGFyIGJ1Zlt2c25wcmludGYoTlVMTCwgMCwgZm9ybWF0LCBhcmdzKSArIDFdOwoKICB2c25wcmludGYoYnVmLCBzaXplb2YgYnVmLCBmb3JtYXQsIGFyZ3MyKTsKICBwcmludGYoYnVmKTsKICB2YV9lbmQoYXJncyk7CiAgdmFfZW5kKGFyZ3MyKTsKfQoKaW50IG1haW4oKQp7CiAgICBwcmludGYwKCJIZWxsbywgJWQhXG4iLCAxNSk7CiAgICBwcmludGYxKCJIZWxsbywgJWQhXG4iLCAxNSk7CiAgICByZXR1cm4gMDsKfQ==