public static GeneralizedSymbol tokenizerToStateName(Stella_Object state) {
    if (Stella_Object.consP(state)) {
      return (((GeneralizedSymbol)(((Cons)(state)).value)));
    }
    else {
      return (((GeneralizedSymbol)(state)));
    }
  }