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