std::io

stdin_file

File stdin_file;