Searching in pkg/dev_compiler/lib/src/kernel