model: deadlock_component1
i.e
i.return
<deadlock>
