How do we know this loop counts downward?

i-- is in the parentheses.