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