#include <stdio.h>

/*
 * Print a simple greeting.
 */

void sayHello ( void )
{
  printf("Hello World!\n");
}

/*
 * Call a function which 
 * prints a simple greeting.
 */

int main(void)
{
  sayHello();
  return 0;
}