prereq: ./supported_libpthread prog: ../../helgrind/tests/tc12_rwl_trivial