model: deadlock_implicit
<deadlock>
