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