fun i_le(vv) { return  vv ?bit(2) |( vv ?bit(3) ^  vv ?bit(1) ); }