Both gcc and clang support `__restrict__` in c89 mode. Since `__restrict__` can boost performance, I believe it should be supported in the output.