We also have OPS5 running on KCL. It is VPS2, an interpreter for OPS5, copyrighted by C.Forgy in 1979, 1980, and 1981. The sources came from Edinburgh AIAI, where Jeff ported VPS2 onto Spice Lisp. Just removing the use of fexpr was enough to port it onto KCL. -- Taiichi