(define i 24)

(assert i ===> 42)
; or
(assert (= i 42))