/sources/contrib/rog/sh-examples/demo/deadlock.demo/
       200 2006-08-22 demo
      1039 2006-08-22 philosophers.b
       625 2006-08-22 philosophers.dis
      2395 2006-08-22 philosophers.sbl
       909 2006-08-22 philosophers2.b
       479 2006-08-22 philosophers2.dis
      1652 2006-08-22 philosophers2.sbl