The text 4c7216339fea, as Debian 10 (Buster) shipped it.
stream buffering operations
setvbuf(3) on Linux now
