Count_of_Syracuse loading ...