Weyl_expansion loading ...