https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83027
--- Comment #8 from Victor Porton <porton at narod dot ru> --- Created attachment 42634 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42634&action=edit Sources in gnatchop format Run gnatchop all.chop to extract the sources.