Is there any way to make `sys.getdefaultencoding` give something other than the system's actual default?  Or is it only settable at compile-time?  It would be nice to actually test this...