#include <stdio.h>

// This is my very first program
int
main(int argc, char **argv)
{
   printf("Hello world!\n"); /* Print some stuff */
   return 0;
}