## A simple tool to search files