; Copyright (c) 1993-1999 by Richard Kelsey and Jonathan Rees. See file COPYING.