let detach_globinits file =
  let gif =
    Kernel_function.get_definition (Globals.Functions.get_glob_init file)
  in
  gif.sbody.bstmts <- List.rev_append !globinits gif.sbody.bstmts;
  globinits := []