!7

p {
  assertFalse(Thread.holdsLock(mc()));
  synchronized(mc()) {
    assertTrue(Thread.holdsLock(mc()));
  }
  assertFalse(Thread.holdsLock(mc()));
  
  new O o;
  assertFalse(Thread.holdsLock(o));
  synchronized(o) {
    assertTrue(Thread.holdsLock(o));
  }
  assertFalse(Thread.holdsLock(o));
  
  print("OK");
}