1 # Input for testoplock, case 05
   2 open 2 4
   3 req 2 0x803
   4 show
   5 open 3 4
   6 req 3 0x803
   7 show
   8 open 1
   9 brk-write 1
  10 show
  11 ack 3
  12 show
  13 open 4 4
  14 req 4 0x803
  15 show
  16 close 4
  17 req 3 0x803
  18 show