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