prog: tc06_two_races vgopts: --read-var-info=yes --xml=yes --xml-fd=2 --log-file=/dev/null stderr_filter: ./filter_xml stderr_filter_args: tc06_two_races.c