((label HANOI
  (lambda (NUMBER FROM TO VIA)
   (cond ((eq NUMBER nil) nil)
         (t ((label CONCAT
              (lambda (X Y)
               (cond ((eq X nil) Y)
                     (t (cons (car X)
                              (CONCAT (cdr X) Y)
                        )
                     )
               )
              )
             )
             (HANOI (cdr NUMBER) FROM VIA TO)
             (CONCAT (cons (cons FROM TO) nil)
                     (HANOI (cdr NUMBER) VIA TO FROM)
             )
            )
         )
   )
  )
 )
 (quote (I I I)) (quote A) (quote B) (quote C)
)