acquire(l);
x = a.f; check(a.f);
release(l);