static CharInToken charIndexToCharInToken(LS 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 CharInToken(tok, i, charIndex-idx);
}