package Routers_Configuration is new Generic_Routers_Configuration (<>);
subtype The_Core_Message is Bounded_String;
type Messages_Client is record Destination : Router_Range; The_Message : The_Core_Message; end record;
type Messages_Mailbox is record Sender : Router_Range := Router_Range'Invalid_Value; The_Message : The_Core_Message := Message_Strings.To_Bounded_String (""); Hop_Counter : Natural := 0; end record;