1 prereq: ./supported_libpthread && ./supported_sem_init 2 prog: ../../helgrind/tests/tc24_nonzero_sem 3 vgopts: --read-var-info=yes 4