svoid test_leven() {
  testFunctionValues_twoArgs leven(
    pair("abcde", "abc"), 2);
}