stdin_file

File stdin_file;