1package Slice2 is
2
3  type R1 is record
4    Text : String (1 .. 30);
5  end record;
6
7  type R2 is record
8    Text : String (1 .. 8);
9    B : Boolean := True;
10  end record;
11
12  function F (I : R1) return R2;
13
14end Slice2;
15