In Ada ist die Definition von Sprungzielen (labels) vor jeder Anweisung erlaubt; sie sieht folgendermaßen aus:
Hier
Eine Sprung-Anweisung hat folgendes Aussehen:
goto Hier;