branching point: True
false 1
branching point: False
loop 2
branching point: False
true 3
branching point: True
end