(
  (defun len (L) (if L (+ 1 (len (r L))) 0))
)