8.5.1 循环类型