MAX_BIG_FIELD_BITS
count = (MAX_BIG_FIELD_BITS - ((to_offset + MAX_BIG_FIELD_BITS) % BITS_PER_TYPE(u32)));
while (size > MAX_BIG_FIELD_BITS) {
while (size > MAX_BIG_FIELD_BITS) {
if (size <= MAX_BIG_FIELD_BITS) {