static O callFVerbose(O f, O... args) ctex {
  O result;
  print("f(" + joinWithComma(map struct(args)) + ) = "
    + sfu(result = callF(f, args)));
  ret result;
}