/**
 * This is my goodbye file.
 */

#include <stdio.h>

int
main ()
{
  fprintf (stdout, "Adios\n");
  return 0;
} // main