Task ->
Arg Res : &TaskResult, Rq : TaskRequest,
    Dispatch_errors : 1 | 0 = 0

If !Dispatch_errors then
 - T >Res< Rq
Else
 - T >Res< Rq
 + Ec, Error <> Dispatch >Res< Ec Error Rq
;

/

T Task ->                                        Dispatch Task ->
Arg Res : &TaskResult, Rq : TaskRequest          Arg Res : &TaskResult, Ec : ERR_*, Error : String,
                                                     Rq : TaskRequest
Do while ...
                                                 Res = <
 ...                                                     Error_code : Ec, Error_message : Error
                                                       >
 Write Rq.Port_name Info_{N%}
;                                                Write Rq.Port_name .

/                                                /