error: deadlock in model blocking_shared_reply
model: blocking_shared_reply
h.hello
w.hello
w.return
w.world
h.world
h.true
<deadlock>
