(defun length (L)
  (cond ((null L) 0)
        (t (+ 1 (length
        (cdr L)))))
)