1prereq: ./supported_libpthread 2vgopts: --show-confl-seg=no --read-var-info=yes --num-callers=2 3prog: rwlock_race 4stderr_filter: filter_stderr_and_thread_no 5