1prereq: ./supported_libpthread
2prog: ../../helgrind/tests/tc15_laog_lockdel
3