prereq: ./supported_libpthread
vgopts: --var-info=yes
prog: ../../helgrind/tests/hg04_race