Searching in python/testData/pyi/resolve/builtinInt