(assert (= ((_ zero_extend 18446744073709551608)(_ bv255 8)) (_ bv255 8))