The text 1bc00ff8ba86, as Debian 4.0 (Etch) shipped it.
Controlling input.
std::basic_istream(3) on Linux now
