1 package Var_Size is 2 type T (Length : Natural) is record 3 A : String (1 .. Length); 4 B : String (1 .. Length); 5 end record; 6 function A (X : T) return String; 7 end; 8