[edflsafoiewq]

Actually the exceptions graph is simplified. The code to perform unwinding is not depicted.

[lwb]

The graph isn’t about implementations — it also doesn’t show that you have to increment a counter to make a loop.