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