let print () =
  if ForceUsers.get () then
      result "@[<v>====== DISPLAYING USERS ======@ %t====== END OF USERS =========="
        (fun fmt ->
           !Db.Semantic_Callgraph.topologically_iter_on_functions
             (fun kf ->
               let callees = !Db.Users.get kf in
               if not (Kernel_function.Hptset.is_empty callees) then
                 Format.fprintf fmt "@[<hov 4>%a: %a@]@ "
                   Kernel_function.pretty kf
                   (Pretty_utils.pp_iter
                      ~pre:"" ~sep:"@ " ~suf:"" Kernel_function.Hptset.iter
                      Kernel_function.pretty)
                   callees))