let mk_int_offseted_array_lval host_name off_value = mk_offseted_array_lval host_name (mk_int_exp off_value)