2 -- { dg-options "-O -gnatws" }
4 package body Varsize_Copy is
6 type Key_Mapping_Type is record
11 type Key_Mapping_Array is array (Key_Type) of Key_Mapping_Type;
14 Key_Mappings : Key_Mapping_Array;
19 function F (Key : Key_Type) return Page_Type is
21 return S.Key_Mappings (Key).Page;