Which of the following loops is guaranteed to execute at least once?