Huffman encoder and decoder, as a refresher.