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 := []