Gabriel Dos Reis writes: > Robert Dewar <dewar@adacore.com> writes: > > | >However, we have an obligation to define what those mappings are. > | > > | Why? > > Because it is an implementation-defined behaviour and we have to > document how the choice is made. Can you state some language in the standard that says we have to do this? Andrew.