1 #include <stdio.h>
2 
3 int main(int argc, const char **argv) {
4   printf("Hello, World!\n");
5   return 0;
6 }
7