https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119698
--- Comment #14 from John David Anglin <danglin at gcc dot gnu.org> --- I installed Debian gcc and gnat 12.3.0-14. With it, gen_il-main doesn't fault. I'm building 12.4.0-5 and I'll see if I can find issue with Debian build.