fun f_e(vv) { return vv?bits(2) == 0b00; }