1 (defun has-loop-O1space? (x)
2   (do ( (iter-1 (cdr x) (cdr iter-1))
3 	(iter-2 (cddr x) (cddr iter-2)))
4       ((null iter-2) nil)
5     (when (eq iter-1 iter-2)
6       (return t))))