static int charToTokenIndex_left(L<S> tok, int charIndex) {
  int i = 0, idx = 0;
  while (i < l(tok) && idx+l(tok.get(i)) <= charIndex) {
    idx += l(tok.get(i));
    i++;
  }
  ret i;
}