prereq: ./supported_libpthread vgopts: --num-callers=3 prog: pth_cond_race