2 -- { dg-options "-O -gnatws" }
4 package body Varsize2
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
;