[GCC PR 114127](https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114127) refers. Using GCC 14.0.1 prerelease, building for STM32F4291, we get a bug box in `framebuffer_ili9341.ads` because `ili9341-device.adb` has `pragma Ada_2022`. Putting the pragma in the spec (`ili9341-device.ads`) doesn’t help. Building with `-gnat2022` does.