src/butc/dumpScr

   1 4 1 1
   2 tmp.s11
   3 safe6.fs
   4 536872126 0 0
   5 tmp.s13
   6 safe6.fs
   7 536872141 0 0
   8 tmp.s12
   9 safe6.fs
  10 536872130 0 0
  11 tmp.s11
  12 safe6.fs
  13 536872126 0 0
  14
  15
  16