prereq: ./supported_libpthread
prog: ../../helgrind/tests/tc17_sembar