model: external_blocking_livelock
h.hello
w.hello
w.cruel
w.return
<livelock>
