If we're compiling with gcc, mark adios() as never returning (better code
[mmh] / test / tests / pick /
drwxr-xr-x   ..
-rw-r--r-- 18 test-pick