void isfx();
The member function has no official duties, but an implementation may depend on a call to isfx by a formatted or
unformatted input function to tidy up after an extraction. You should not call isfx directly. It is called as needed by an
object of class sentry.