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