public static Stella_Object yieldHardcodedCaseSymbolIdOrIds(Stella_Object casetest) {
    if (casetest == Stella.SYM_STELLA_OTHERWISE) {
      return (casetest);
    }
    { Symbol symbol = null;

      { Surrogate testValue000 = Stella_Object.safePrimaryType(casetest);

        if (testValue000 == Stella.SGT_STELLA_CONS) {
          { Cons casetest000 = ((Cons)(casetest));

            { ConsIterator it = casetest000.allocateIterator();

              while (it.nextP()) {
                symbol = ((Symbol)(it.value));
                if (!(symbol.symbolId != Stella.NULL_INTEGER)) {
                  symbol = Symbol.internPermanentSymbol(symbol.symbolName);
                }
                it.valueSetter(IntegerWrapper.wrapInteger(symbol.symbolId));
                GeneralizedSymbol.registerSymbol(symbol);
              }
            }
            return (casetest000);
          }
        }
        else if (Surrogate.subtypeOfSymbolP(testValue000)) {
          { Symbol casetest000 = ((Symbol)(casetest));

            symbol = casetest000;
            if (!(symbol.symbolId != Stella.NULL_INTEGER)) {
              symbol = Symbol.internPermanentSymbol(symbol.symbolName);
            }
            GeneralizedSymbol.registerSymbol(casetest000);
            return (IntegerWrapper.wrapInteger(symbol.symbolId));
          }
        }
        else {
          { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

            stream000.nativeStream.print("`" + testValue000 + "' is not a valid case option");
            throw ((StellaException)(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
          }
        }
      }
    }
  }