Searching in validation/mem2reg