udf: verify that seeks are exact