let mk_global_var vi = vi.vghost<-true; let ini = {Cil_types.init=Some(Cil.makeZeroInit ~loc:(CurrentLoc.get()) vi.vtype)} in mk_global (GVar(vi,ini,vi.vdecl)); Globals.Vars.add vi ini; set_varinfo vi.vname vi