> As an additional note, this is Bug ada/13408. Although the change > affects the ADA "ABI"
Note that there is no clear Ada ABI at this stage, and no guarantee of stability. It's a long term goal to achieve Ada ABI stability, but it's a huge work. So changing this is certainly fine. Arno
