(assert (= (_ zero_extend 2)