(assert (#x0)