Searching in tests/fig42-dff