let wrap_int i =
Some
(V_Offsetmap.update_ival
~with_alarms:CilE.warn_none_mode
~validity:Base.All
~offsets:Ival.zero
~exact:true
~size:(Int.of_int (bitsSizeOf intType))
V_Offsetmap.empty
(V_Or_Uninitialized.initialized i))