Weyl_sum loading ...