rt_gccstream/gcc/testsuite/gnat.dg/aggr9_pkg.ads

package Aggr9_Pkg is

  type Byte is range 0 .. 255;

  type R1 is
    record
      A,B : Byte;                    
    end record;

  type R2 is
    record
      F : R1;
    end record;

  procedure Send (M : R2);

end Aggr9_Pkg;