rwxr-xr-x 4273/0      0 Jun  2 19:43 1994 Darwin/
rw-r--r-- 4273/0   3670 Jun  2 19:26 1994 Darwin/darwin.lisp
rw-r--r-- 4273/0      0 Jun  2 19:26 1994 Darwin/declare.lisp
rw-r--r-- 4273/0   2010 Jun  2 19:26 1994 Darwin/test.lisp
rw-r--r-- 4273/0   2751 Jun  2 19:26 1994 Darwin/choose.lisp