static int tokenIndexToCharIndex(L<S> tok, int tokenIndex) {
  ret tokenToCharIndex(tok, tokenIndex);
}