1package Lto15 is
2
3   type Arr is array (Positive range <>) of Integer;
4
5   type R(Size : Positive) is record
6      Data : Arr (1 .. Size);
7   end record;
8
9   function Proc (Data : Arr) return R;
10
11end Lto15;
12