generic with package Routers_Configuration is new Generic_Routers_Configuration (<>); package Generic_Message_Structures is
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; The_Message : The_Core_Message; Hop_Counter : Natural := 0; end record;