void printf(const char* fmt,...);

int main(void) {
  printf("Hello, %s %s", "World");
}