https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121811
--- Comment #10 from Jonathan Wakely <redi at gcc dot gnu.org> --- On the other hand, if I'm going to go to all the trouble of adding a new header then I might as well just backport r15-8036-gd4c7de7dc925e7 and add the working header to gcc-14.
