.
cocomp eqbe