/** @return makeToken( +1 from current char pos in InputBuffer */ private int pos() { return input.textPos(); }