1prog: tc06_two_races
2vgopts: --read-var-info=yes
3