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