(let ((x 42))
  (assert (and (integerp x) (= 42 x)) (x)))