acq(lock);
check(b.f); x = b.f;
rel(lock);

check(b.f); y = b.f;

acq(lock);
check(b.f); z = b.f;
rel(lock);