prereq: ./supported_libpthread vgopts: --check-stack-var=yes prog: ../../helgrind/tests/tc04_free_lock