public DefiniteAssignmentBitSet (int length) { if (length > 31) large_bits = new int[(length + 31) / 32]; }