prereq: ./supported_libpthread && [ -e sem_wait ]
vgopts: --check-stack-var=yes --read-var-info=yes
prog: sem_wait