5.3.1 do-while