(define x 5)
cond((< x 6) 7)
(display x)