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