8.3.2 do-while