prereq: ./supported_libpthread
vgopts: --check-stack-var=yes --read-var-info=yes --show-confl-seg=no
prog: ../../helgrind/tests/tc01_simple_race