LABEL: if(...) {...} か if(...) LABEL: { } のどっちかでしょう…
Adaに倣うなら前者でelse節も含めてif文全体に名前が付く感じかな？