(let ((low (logxor-derive-unsigned-low-bound x y))
(high (logxor-derive-unsigned-high-bound x y)))
(specifier-type `(integer ,low ,high)))
(let ((low (logxor-derive-unsigned-low-bound x y))
(high (logxor-derive-unsigned-high-bound x y)))
(specifier-type `(integer ,low ,high)))