https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124607 --- Comment #2 from Andrew Teylu <andrew.teylu at vector dot com> --- Created attachment 64003 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=64003&action=edit gnatchop-able sources