model: deadlock_blocking_guard
pp.ia
pp.return
pp.ia
<deadlock>
