#include <stdio.h>
#include <syscall.h>

int
main (int argc, char **argv)
{
  printf ("Hello World :)\n");
  return EXIT_SUCCESS;
}