let expr_int_operator mem ir binop i1 e1 i2 e2 =
    let t1 = expr_int mem i1 ir e1 in
    let t2 = expr_int mem i2 ir e2 in
    int_operator ir binop t1 t2