rwxr-xr-x 4273/0      0 Mar 22 19:16 1994 p_case/
rw-r--r-- 4273/0   4779 Dec 27 22:44 1993 p_case/pattern-case.scm