model: deadlock_interface1
e
return
<deadlock>
