sclass ExternalMutex implements AutoCloseable {
  int referenceCount;
  
  public void close {
    var map = externalMutexMap();
    synchronized(map) {
      if (--referenceCount == 0)
        map.remove(this);
    }
  }
}