(let ((x 42))
  (assert (and (integer? x) (= x 42))))