prereq: ./supported_libpthread
vgopts: --check-stack-var=yes --read-var-info=yes --trace-semaphore=yes
prog: sem_open
args: -m