prereq: ./supported_libpthread vgopts: --read-var-info=yes prog: fp_race