確かに、最初の頃に「何で END があるのに終わりじゃなくて続いているのだろう？」と思っていました！ DEF ～ END の END は特殊なんですけど、普通の END と同じに見えたのは思い出です。