Piecewise_syndetic_set loading ...