Inside CPython’s Clever Use of Bloom Filters for Efficient String Processing