!7

static new O a;
static new O b;

p {
  thread "A" {
    synchronized(a) {
    }
  }
  
}