Dirichlet's_test loading ...