Verified seek/seq get patterns are reasonable.