configuration Reconnection is

  pragma Starter (None);

  Part0 : Partition := ();
  Part1 : Partition := (RCI_1);
  Part2 : Partition := (RCI_2);
  Part3 : Partition := (RCI_3);

  procedure Main is in Part0;

  for Part1'Reconnection use Fail_Until_Restart;
  for Part2'Reconnection use Block_Until_Restart;
  for Part3'Reconnection use Reject_On_Restart;

end Reconnection;
