/* Include files */
#include "stdio.h"

/* Main function */
int main ()
{
  /* Screen output */
  printf("Hello world\n");
  return 0;
}