PASCALのように冒頭でラベル宣言すりゃ分かりやすいんだがな。
そうすりゃ、そのラベル宣言のところに何でgoto／labelを使うのか
を明示するだろーから、ヤタラ変なgotoの使い方はされなくなるだろう
からね。

昔、大学の授業でＣコンパイラもどきを作ったことがあるが、
goto文にラベルつける仕様にした（単にワシの腕がヘボかったので
前もって宣言していないgotoを作れなかっただけだけど）