and in codecs.escape_decode() when decode an escaped non-ascii byte.
Source files for various builtin objects