9inline std::basic_streambuf<char_t>* __get_in_rdbuf() {
return nullptr;}
12inline std::basic_streambuf<char>* __get_in_rdbuf<char>() {
13 static std::basic_streambuf<char>* rdbuf = std::cin.rdbuf();
18inline std::basic_streambuf<wchar_t>* __get_in_rdbuf<wchar_t>() {
19 static std::basic_streambuf<wchar_t>* rdbuf = std::wcin.rdbuf();