static Either<O, Thread> evalWithTimeoutReleasingDBLock(int timeoutMS, fO r) ctex {
  dbLock().unlock();
  try {
    ret evalWithTimeout(timeoutMS, r);
  } finally {
    dbLock().lockInterruptibly();
  }
}

static Either<O, Thread> evalWithTimeoutReleasingDBLock(double timeoutSeconds, fO r) {
  ret evalWithTimeoutReleasingDBLock(toMS_int(timeoutSeconds), r);
}