With 9 storms so far this hurricane season, what happens if we run out of names?

From Arthur to Isaias, the hyperactive 2020 hurricane season has already used nine storm names. But what happens if we run out of names