这意味着至少处决回路始终.

• This means that the loop always executes at least once.