I don't know if there is a special case in which a loop of the variable
"FooCounter" should remain unchanged.
But what about a simple detector where the value of "FooCounter" from the
#while(FooCounter cond) condition does not change when you reach the end of
the loop?.
If this is an "insurmountable" logical hole guess we will have to settle for
what is, but thanks anyway for your reply.
B. Gimeno
