let is_main_init kf =
  if Kernel.LibEntry.get () then false
  else
    let is_main =
      try
        let main, _ = Globals.entry_point () in
        Kernel_function.equal kf main
      with Globals.No_such_entry_point _ -> false
    in
    debug "'%a' is %sthe main entry point@."
      Kernel_function.pretty kf (if is_main then "" else "NOT ");
    is_main