Searching in programs/cabarc