(assert (= x0 0))
(assert (= x1 1))