> 2) Language Revision
> --------------------
> This issue naturally leads to the question: can the next language
> revision for Ada provide the missing guarantee, assuring a match
> in comparisons of subprogram access values that designate the same
> subprogram?
No. Over my dead body.
Randy Brukardt.