Written by Colin Plumb in 1993, no copyright is claimed.
Ian Jackson <ian@chiark.greenend.org.uk>.
