1prereq: ./supported_libpthread
2vgopts: --read-var-info=yes
3prog: fp_race
4