model: deadlock_component0
<deadlock>
