svoid test_str_shortenSynthetic() {
  testFunctionValues str_shortenSynthetic(
    (IF1) x -> x, "Synthetic instance of IF1",
    "bla", "bla",
    null, "null",
    new IF1 { public O get(O o) { ret o; } }, "?",
  );
}