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