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