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