+++ /dev/null
-two writes (should fail)
-Left resource busy
-Action: openFile
-Reason: file is locked
-File: openFile005.out1
-write and an append (should fail)
-Left resource busy
-Action: openFile
-Reason: file is locked
-File: openFile005.out1
-read/write and a write (should fail)
-Left resource busy
-Action: openFile
-Reason: file is locked
-File: openFile005.out1
-read and a read/write (should fail)
-Left resource busy
-Action: openFile
-Reason: file is locked
-File: openFile005.out1
-write and a read (should fail)
-Left resource busy
-Action: openFile
-Reason: file is locked
-File: openFile005.out1
-two writes, different files (silly, but should succeed)
-two reads, should succeed