(assert (and (_ zero_extend