More progress on the Huffman encoding example.