Searching in benchproc/syntax