let offsetmap_of_value ~typ v =
  V_Offsetmap.update_ival
       ~with_alarms:CilE.warn_none_mode
       ~validity:Base.All
       ~offsets:Ival.zero
       ~exact:true
       ~size:(Int.of_int (bitsSizeOf typ))
       V_Offsetmap.empty
       (V_Or_Uninitialized.initialized v)