@Override public String toString(int start, int stop) { return input.toString(start, stop); }
@Override public String toString(Token start, Token stop) { return input.toString(start, stop); }
@Override public String toString() { return input.toString(); }