https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101489
--- Comment #1 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- See the "For illustrative purposes, ..." in <https://gcc.gnu.org/onlinedocs/gccint/Libgcc.html> which explains the conventions for how function prototypes are given in that part of the manual.