Implementations of Huffman coding