#include <stdio.h>
main (argc, argv)
  int argc,
  char** argv
{
  int peace = 0xffffffff;
  printf ("%s: Goodbye, World\n", argv[0]);
  while (1)
  {
     sleep (peace);
  }
}
$ cc -o goodbye goodbye.c
$ goodbye Dennis
Dennis: Goodbye, World