#include <stdio.h>
#include <stdlib.h>

void quit(void);

int main(void)
{
  quit();

  printf("We never get here!\n");

  return 1;
}

void quit(void)
{
  printf("Goodbye, World!\n");

  exit(0);
}