let mk_offseted_array_lval_from_term host term_off =
  mk_dummy_term
    (TLval(Cil.addTermOffsetLval (TIndex(term_off,TNoOffset)) host))
    Cil.intType