Shannon's_noiseless_coding_theorem loading ...