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