The do-while statement