with SpecsTo API docTo spec; use SpecsTo API docTo spec;
package Client_AgentsTo API docTo body is
task type AgentTo API docTo body is
entry ProcessTo API docTo body (x : Pix_Range_xTo API docTo spec);
end AgentTo API docTo specTo body;
end Client_AgentsTo API docTo specTo body;