prereq: ./supported_libpthread vgopts: --show-confl-seg=no --read-var-info=yes --num-callers=2 prog: rwlock_race