chiark / gitweb /
exit not _exit, for benefit of coverage testing