prereq: ./supported_libpthread && ./supported_sem_init
prog: ../../helgrind/tests/tc18_semabuse