(:type var '(unsigned-byte 32))
(:type var (lambda (x) (typep x '(unsigned-byte 32))))
(:type var (lambda (x) (and (numberp x) (<= 10 x))))