ParseRedirect Parse ->
Arg RP : ^List : Relay <- Route  
    Ex : Command    
+

 Check ->
 Arg RR : RelayRoute

 RR.
  Let Relay && Route_pairs && Else, ERR_NO_DATA
 ;

 /

+

- CommandsIn Ex ( T :
                      RP->RR.Relay = <
                                       Pairs : RR.Route_pairs
                                       Else : RR.Else
                                     >
                      ' - Token >RR< T,
                          Check RR
                )

/

Token ParseRedirect Parse ->                     RelayRoute >>
Arg RR : &RelayRoute                              Relay : Relay
    X : Command                                   Route_pairs : RoutePairs
                                                  Else : String
If X.Name = 'relay-ip' then                      ;
 Detach X.Tokens Relay_address _

 RR.Relay = Relay_address
;

If X.Name = 'dest-ip' then
 ...
;

/

