docs: static int flush(char[] accum, int finger, List tokens) {
      if (finger > 0) {
        char[] token = new char[finger];
        System.arraycopy(accum,0, token,0, finger);
        tokens.add(token);
      }
      return 0;
    }