prog: ../../drd/tests/rwlock_test