sclass ExternalMutex {
  int referenceCount;
}