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