#include <stdio.h>

// Entry point
int main (int argc, char *argv[])
{
   // Hello world!
   printf("Hello world!\n");

   // Goodbye!
   return 0;
}