The text e5747d7cfc4f, as Debian 12 (Bookworm) shipped it.
Controlling input for files.
std::ifstream(3cxx) on Linux now
