1prereq: test -e annotate_sem && ./supported_libpthread 2vgopts: --fair-sched=try --read-var-info=yes --check-stack-var=yes --show-confl-seg=no 3prog: annotate_sem 4stderr_filter: filter_stderr_and_thread_no 5