1. with Swarm_Structures_Base; use Swarm_Structures_Base; 
  2.  
  3. package Vehicle_Message_Type is 
  4.  
  5.    type Inter_Vehicle_Messages is record 
  6.       Id          : Swarm_Element_Index; 
  7.    end record; 
  8.  
  9.    -- Replace this record definition by whatever you actually need to communicate. 
  10.  
  11. end Vehicle_Message_Type;