--rw-r--r-- bootes sys  4058 Sep 19  2009 Cmd.hc
--rw-r--r-- bootes sys  4803 Sep 19  2009 Cmd.hs
--rw-r--r-- bootes sys 10715 Sep 19  2009 Cmd.p.c
--rw-r--r-- bootes sys  5960 Sep 19  2009 Cmd.z.c
d-rwxr-xr-x fernan sys     0 Jul 15  2018 Process
--rw-r--r-- bootes sys 10873 Sep 19  2009 Process.hs