/*-------------------------------------------------------------------*/
/* hello.c                                                           */
/* Print "Hello world."                                              */
/*-------------------------------------------------------------------*/

#include <stdio.h>

int main(int argc, char *argv[])
{
   printf("Hello world.\n");
   return 0;
}


/* Sample execution:

$ hello
Hello world.

*/