let pretty_external fmt kf =
  try
    Format.fprintf fmt "@[Out (external) for function %a:@\n@[<hov 2>  %a@]@]@\n"
      Kernel_function.pretty_name kf
      Zone.pretty (get_external kf)
  with Not_found ->
    ()