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