Searching in src/riscv-tests/debug/programs