process LINK [INPUT, OUTPUT] : noexit :=
   INPUT !TOKEN;
      OUTPUT !TOKEN;
         LINK [INPUT, OUTPUT]	
   []
   INPUT !TOKEN;
      LINK [INPUT, OUTPUT]	
   []
   INPUT !CLAIM ?Ai:ADDR;
      OUTPUT !CLAIM !Ai;
         LINK [INPUT, OUTPUT]   
   []
   INPUT !CLAIM ?Ai:ADDR;
      LINK [INPUT, OUTPUT]   
endproc