Joel Brobecker (brobecker@adacore.com): > > Here is a new patch, taking the comments into account. I'll work on > > the rest of the simplification on the coming month. In the meantime, > > and if you're OK, I'll commit this first change. > > Looks great! Please commit. Now committed; thank you.