static int tokenToCharIndex(L<S> tok, int tokenIndex) {
  int idx = 0;
  tokenIndex = min(tokenIndex, l(tok));
  for i to tokenIndex: idx += l(tok.get(i));
  ret idx;
}