Bank accounts $a,b,c$ contain values $,,,$ respectively. Concurrent transfers of certain amounts from accounts $a,b$ to $c$ are carried out by the following programs $(ra,rb$ are working variables$)$:

transfer of $300$ from account a to account $c$ :

transfer of $50$ from account $b$ to account $c$ :

if ABORT$\}$