Use 32bit value when system uses 32bit
Fix bug in bit_vector.h