What does Python use to generate the standard wide character encoding