https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103835
--- Comment #2 from lavr at ncbi dot nlm.nih.gov --- Irrespective of whether atoi() is known, printing an "int" (or two) will never produce this many characters... This, however, also seems to have triggered some weird logic that took the entire size of buf[] as a possible size of "pfx" on output; hence, the warning noted 1000+ characters to be printed.
