The KL1 programming environment on an ordinary UNIX system