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