static bool levenDiffAtMost(int n, S a, S b) {
  ret leven_limitedIC(a, b, n) <= n;
}