helgrind/tests/hg05_race2
helgrind/tests/tc09_bad_unlock
