public static Symbol specialp(Stella_Object string) {
    if (Surrogate.subtypeOfStringP(Stella_Object.safePrimaryType(string))) {
      { StringWrapper string000 = ((StringWrapper)(string));

        return (((Symbol)(((StringHashTable)(Stella.$SPECIAL_STRINGS$.get())).lookup(string000.wrapperValue))));
      }
    }
    else {
      return (null);
    }
  }