1prereq: ./supported_libpthread 2vgopts: --sigill-diagnostics=no 3prog: ../../helgrind/tests/tc12_rwl_trivial 4