prog: ../../drd/tests/rwlock_race vgopts: --read-var-info=yes