Label sind ja ziemlich frei definierbar ;o) Für ein Beispiel fand ich LOOP ausreichend. Im produktiven Code würde ich auch anderes nutzen.

Zum do{}while() meine ich mich auch zu erinnern, dass da allgemein eher von abgeraten wird.
Quellen/Begründungen habe ich allerdings grad auch nicht zur Hand.