Kraft's_inequality loading ...