let do_main_init_if_needed wenv kf obj =
try
let main_kf, library = Globals.entry_point () in
if (not library) && (Kernel_function.equal kf main_kf) then
process_global_init wenv obj
else obj
with Globals.No_such_entry_point _ -> obj