(no-tn-check) Change-Id: I3b35c5224eddabd8e779740326193378f1bf1003
See our Code of Conduct on AdaCore website.