Bitvector-like checks enabled