public static Symbol yieldMixinSlotReaderName(StorageSlot slot) {
    { String preName = slot.slotName.symbolName;
      String postName = slot.slotOwner.symbolName;
      String infix = ((Stella.allUpperCaseStringP(preName) &&
          Stella.allUpperCaseStringP(postName)) ? "-ON-" : "-On-");

      return (Symbol.internDerivedSymbol(slot.slotName, preName + infix + postName));
    }
  }