#include <stdarg.h>
#include <stdio.h>
void printtwice(const char *fmt, ...) {
va_list args;
}
int main(void) {
printtwice("%d-->%f\n", 42, 2.7182818);
}
I2luY2x1ZGUgPHN0ZGFyZy5oPgojaW5jbHVkZSA8c3RkaW8uaD4KCnZvaWQgcHJpbnR0d2ljZShjb25zdCBjaGFyICpmbXQsIC4uLikgewoJdmFfbGlzdCBhcmdzOwoKCXZhX3N0YXJ0KGFyZ3MsIGZtdCk7CiAgICB2cHJpbnRmKGZtdCwgYXJncyk7CiAgICB2YV9lbmQoYXJncyk7CgoJdmFfc3RhcnQoYXJncywgZm10KTsKICAgIHZmcHJpbnRmKHN0ZGVyciwgZm10LCBhcmdzKTsKICAgIHZhX2VuZChhcmdzKTsKfQoKaW50IG1haW4odm9pZCkgewogICAgcHJpbnR0d2ljZSgiJWQtLT4lZlxuIiwgNDIsIDIuNzE4MjgxOCk7Cn0K