prog: tc06_two_races
vgopts: --read-var-info=yes