Searching in src/veritysetup