static O withDBLock(O r) {
  mainConcepts.lock.lock();
  try {
    ret callF(r);
  } finally {
    mainConcepts.lock.unlock();
  }
}

static <A> A withDBLock(F0<A> r) {
  ret (A) withDBLock((O) r);
}