(assert (#x0 _