> Now the question is how to fix this for real. As far as I can see, the binder is indeed generating a call to osint__m___elabb before osint___elabb, so this is probably working elsewhere because Running_Program is probably initialized by the loader.
I would suggest reducing the bug as much as possible and opening a PR in bugzilla. A possible work around (cleaner than the one suggested by Laurent) would be to add a pragma Elaborate_Body in osint.ads Arno