prereq: ./supported_libpthread prog: pth_process_shared_mutex vgopts: --read-var-info=yes --check-stack-var=yes