The text b85d31407c48, as Debian 12 (Bookworm) shipped it.
interfaces to stdio FILE structure
stdio_ext(3) on Linux now
