Space-efficient bit vectors
