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