Checkpoint for bit vector implementation.