#include <stdio.h>  // for printf
#include <stdlib.h> // for EXIT_SUCCESS

int
main (int argc, char *argv[])
{
  int a=1;
  printf ("Hello world\n");
  return (EXIT_SUCCESS);
}