void __istream_extract (int)
{
(void)basic_streambuf<char>::field;
(void)basic_streambuf<int>::field;
(void)basic_streambuf<long>::field;
}
void __istream_extract (int)
{
(void)basic_streambuf<char>::field;
(void)basic_streambuf<int>::field;
(void)basic_streambuf<long>::field;
}