model: deadlock_blocking_compliance
h.hello
h.world
<deadlock>
