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