(assert (= #x0 _