Diagnosing range off-by-1