void printf(char * format, ...);

void main() {
  printf("test", 2);
}