Searching in main/stoc/source/bootstrap