If we're compiling with gcc, mark adios() as never returning (better code
[mmh] / DATE
1 27 April 2008