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