fun f_ge(vv) { return !vv?bit(0); }