fun f_ule(vv) { return vv?bits(2) != 0b10; }