https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102992
--- Comment #1 from Jürgen Reuter <juergen.reuter at desy dot de> --- Using a C program compiled with the same version (recent trunk with the fix by Iain Sandoe for Monterey) leads to a program that can pipe to a file.