let mk_offseted_array_lval host_name off_exp = let host_lval = (Cil.var (get_varinfo host_name)) in Cil.addOffsetLval (Index(off_exp,NoOffset)) host_lval