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

If !Dispatch_errors then
 Call T Rq 'Res'
Else
 Call T Rq 'Res'
 Else (Ec, Error) Dispatch Ec Error Rq 'Res'
;

Return

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

Return                                                Return












