template <class charT, class traits> void swap (basic_filebuf<charT, traits>& x, basic_filebuf<charT, traits>& y);