private void emit_buffered_bits(uint offset, uint nbits) { if (m_gather_statistics) { /* no real work */ return; } for (int i = 0; i < nbits; i++) emit_bits_e(bit_buffer[offset + i], 1); }