1prereq: ./supported_libpthread
2vgopts: --read-var-info=yes --check-stack-var=yes --num-callers=2
3prog: ../../helgrind/tests/hg05_race2
4