let mk_offseted_array_states_as_enum host off =
mk_dummy_term
(TLval(Cil.addTermOffsetLval (TIndex(mk_dummy_term
(TConst(CEnum (find_enum off)))
Cil.intType,TNoOffset)) host))
Cil.intType