1. -- 
  2. package Test_Data is 
  3.  
  4.    type Root_Message_Type is tagged null record; 
  5.  
  6.    procedure Send (D : Root_Message_Type) is null; 
  7.  
  8.    type Message_Type_1 is new Root_Message_Type with record 
  9.       Data : String (1 .. 10) := (others => '*'); 
  10.    end record; 
  11.  
  12.    procedure Send (D : Message_Type_1); 
  13.  
  14.    type Message_Type_2 is new Root_Message_Type with record 
  15.       Int : Integer := 123; 
  16.    end record; 
  17.  
  18.    procedure Send (D : Message_Type_2); 
  19.  
  20. end Test_Data;