(defun inc (a) (+ a 1))

(expect "inc 5 == 6" (eq (inc 5) 6))
(expect "inc 6 == 7" (eq (inc 6) 7))