fun f_le(vv) { return !vv?bit(1); }