fun i_ge(vv) { return !( vv ?bit(3) ^  vv ?bit(1) ); }