(assert (/ 1 0))