CC$AutoReCheck:void
Part of the implementation of Restart. A call of this routine is generated before the loop jump. This routine makes sure we do not enter infinite loops.
See also: Internal
