What's the condition of this while loop?

counter < 10.