Searching in python/testData/doctests