Symbol: zhuffman_decode