Searching in util/convert_wycheproof