Doesn't seem like anyone has posted the bug free implementation so here it is:

  int main(void)
  {
      char the_terminal[] = "Hello World!\n"
      return 0;
  }