This series fixes two bugs in the Ada code related to aggregate assignment. They were reported internally by users at AdaCore. I think each patch is reasonably self-explanatory. Tested by the buildbot. Tom