In template 3 the end condition is noted as : left + 1 == right
Should this be: left + 1 >= right ?
For example, if in current iteration, left = right - 2, and left = mid + 1 is trigued,
then in the next iteration, left = mid + 1 = right, which stops the loop.