Annotation for the beginning of the for(;;) loop and explanation for
following the annotations after that point.
Relabled our annotation for prior to the main loop giving is a consistent label,
combined some annotations. General cleanup and made sure the flow was correct.