Searching in compiler/testData/serialization/builtinsSerializer