fflush(3avr) on Linux

The text 1e00d01f4ecf, as Debian 11 (Bullseye) shipped it.

fflush(3avr) on Linux now