> Thanks for taking the time to update this, Santiago! > > Let me ask our Ada maintainers to have a look as well, since this is not > exactly my area of expertise. Geert/Robert/Arnaud, I'll be happy to apply > that patch and make some tweaks based on your review. Yes, the suggested changes are good. Arno