In reply to sbellock:
Having the compiler check the end label is a very nice feature, and I wish more languages would implement it.
When sticking to guidelines like “one top level declaration per file (module, interface, package, class, etc.)” and “preferring multiple nested methods rather than one big one” end labels (in whatever form, whether comments or enforced by the compiler) become useless.