model: deadlock_blocking_inevitable
h.hello
w.hello
w.return
w.world
<deadlock>
