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