1prereq: test -e pth_mutex_reinit && ./supported_libpthread
2vgopts: --read-var-info=yes --check-stack-var=yes
3prog: pth_mutex_reinit
4