The text 798c124014fd, as Debian 13 (Trixie) shipped it.
interfaces to stdio FILE structure
stdio_ext(3) on Linux now
