You have entered the algorithmic horror. There is no escape.
Variable Declaration
Loop Invariant
Bug Injection