model: deadlock_interface0
<deadlock>
