let mk_offseted_array host off =
  mk_dummy_term
    (TLval(Cil.addTermOffsetLval (TIndex(mk_int_term (off),TNoOffset)) host))
    Cil.intType