Searching in hal/nb/src