https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127540
--- Comment #4 from Harald van Dijk <harald at gigawatt dot nl> --- I'd like to but at the moment I would not be permitted to, sorry. I'll have to leave the hopefully trivial actual implementation to someone else.
