% % ownership is controlled by the Owners stack % the nearest (top) of stack is the current owner % % leaving the prior ownership % @@ %%% "Out" vector() [=Owners] _Task.Exiting %%% "texit " log)( [Push] _Task.Prior %%% "tprior " log)( [Push] _Task.Request %%% "treq " log)( isnull { stop } if !owner % % entering the new ownership % @@ "In" vector()