I've tended to shy away from introducing those kinds of directives that have wide effect on code that I don't personally control. I have no personal objection to it. @nedbat: what would you prefer?