5.3: A Generic Search Iterator