(use judge)

(defn add [x y] (+ x y))

(test (add 1 2) 3)