n)%0%Call%(john)%0%Fail%(john)%1%Redo%(tom, john)%1%Exit%(tom, sam){0}%0%Call%(sam)%0%Exit%(sam)%12%Exit%(tom)%">