define

1
(define x x)