documented sys.FileSystem and sys.io.File