(defun sqr (x) (* x x))