; error: 2:1: a body must end with an expression, not an assert form
(assert true)