> I am looking into it. It is latent bug uncovered by my sanity checking. Great, thanks. It's indeed clearly a latent bug. I've opened PR 13888 on this issue, which has been identified as a duplicate of PR 13859, which contains a very simple C test case. You probably want to use this test case rather than the Ada code. Arno