1 int main (int argc, char** argv)
   2 {
   3   printf ("Hello, world!\n");
   4   return 0;
   5 }