/**
 * This is my hello file.
 */

#include <stdio.h>

int
main ()
{
  fprintf (stdout, "Hello\n");
  return 0;
} // main