(define (square 'x) (* 'x 'x))

(square 17)