1 #include <iostream>
2 
3 void input_copy_loop() {
4   std::string str;
5   while (std::getline(std::cin, str))
6     std::cout << "read: " << str << std::endl;
7 }
8 
9 int main() {
10   input_copy_loop();
11   return 0;
12 }
13