Which one of the following is a loop construct that will always be executed be execited once?