Searching in examples/hfl