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. -- Gaby