Kraft_inequality loading ...