int printf(const char *, ...);

int main () {
  printf("Hello, World!");
}