1 prereq: ./supported_libpthread && ./supported_sem_init 2 vgopts: --check-stack-var=yes --first-race-only=yes --read-var-info=yes 3 prog: sem_as_mutex 4
