// for the version with MasterSymbol (used WAY back in "Smart Bot"!) see #1010608

sclass Symbol implements CharSequence {
  S text;
  
  *() {}
  *(S *text, bool dummy) {} // weird signature to prevent accidental calling
  
  public int hashCode() { ret _hashCode(text); }
  toString { ret text; }
  public bool equals(O o) {
    ret this == o;
  }

  // implementation of CharSequence methods
  
  public int length() { ret text.length(); }
  public char charAt(int index) { ret text.charAt(index); }
  public CharSequence subSequence(int start, int end) {
    ret text.substring(start, end);
  }
}

Began life as a copy of #1010608