1prereq: ./supported_libpthread
2vgopts: --read-var-info=yes --check-stack-var=yes --show-confl-seg=no
3prog: annotate_ignore_write
4args: -r
5stderr_filter: filter_stderr
6