pub const Py_UNICODE_REPLACEMENT_CHARACTER: u32 = 65533; // 65_533u32