It looks like some unusual looping syntax; but in fact these are just two normal while loops one after another.