/*------------------------------------------------------------------*/
/* hello.c                                                          */
/* Author: Bob Dondero                                              */
/*------------------------------------------------------------------*/

#include <stdio.h>

int main(int argc, char *argv[])

/* Write "Hello\n" to stdout.  Return 0. */

{
   printf("Hello\n");
   return 0;
}