let expr_int mem ie ir e =
    D.i_convert ie ir (int_of_value (!expr_rec mem e))