This article has moved to How to Write Bug Free Binary Search.