DEF内でのENDは 「プログラムの終わり」ではなく 必ず「DEFの終わり」と判断される と思います。