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