let pretty_current_cfunction_name fmt =
  Kernel_function.pretty_name fmt (current_kf())