public String toString() { return buffer == null ? "" : buffer.toString();
public String toString(Symbol symbol) { return appendSymbol(symbol).toString();
    public String toString() {        return buffer == null ? "" : buffer.toString();    }