configuration conf7 is pragma Boot_Location ("tcp", "localhost:5678"); pragma Starter (none); client1, client2, server: Partition; for server'Termination use Global_Termination; procedure rcall is in client1; for client1'Termination use Deferred_Termination; for client2'Main use rcall; for client2'Termination use Local_Termination; -- for client2'Allow_Light_PCS use False; begin server := (RCI); -- client1 := (Callback); -- client2 := (Callback); end conf7;