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