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