static Lock mainLock_lock = fairLock();

static Lock mainLock() {
  ret mainLock_lock;
}