static int levenDiff(String s, String t) {
  ret leven(s, t);
}