private void flush_bits_e() { emit_bits_e(0x7F, 7); /* fill any partial byte with ones */ m_saved.put_buffer = 0; /* and reset bit-buffer to empty */ m_saved.put_bits = 0; }