Hasse_bound loading ...