(use /src/app)
(use judge)

(test (add 2 3) 4)