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