Searching in src/test/examples/inlining_with_proxy