let detach_globals file = file.globals <- !globals @ file.globals; List.iter (function GVar(v,init,_) -> Globals.Vars.add v init | _ -> ()) !globals; globals := []