(define (a x y z)
　(let ((x y))
　　(letrec ((y (lambda()(z))(z (lambda()(x))))
　　 (x)))
になる？