fprintf(stderr, "Goodbye, World!\n");