!7 static Lock lock = fairLock(); p { doIt(); doIt(); print("OK"); } svoid doIt { lock lock; print("Have lock!"); }