1prereq: ./supported_libpthread 2vgopts: --check-stack-var=yes --read-var-info=yes 3prog: sem_open 4args: -m 5