(declare ((unsigned-byte 16))) => (declare (type (unsigned-byte 16))), because ECL thinks it knows better than to accept valid CL.