/* This is the standard "Hello World" program
 */

#include <stdio.h>

int main (void)
{ 
  printf ("Hello World\n");
}