Searching in test/fixedbugs/issue42401.dir