static bool hasLock(Lock lock) {
  ret ((ReentrantLock) lock).isHeldByCurrentThread();
}