1with Ada.Numerics.Complex_Types; use Ada.Numerics.Complex_Types;
2
3package Loop_Optimization13 is
4
5   type Complex_Vector is array (Integer range <>) of Complex;
6   type Complex_Vector_Ptr is access Complex_Vector;
7
8   type Rec (Kind : Boolean := False) is record
9      case Kind is
10         when True => V : Complex_Vector_Ptr;
11         when False => null;
12      end case;
13   end record;
14
15   function F (A : Rec) return Rec;
16
17end Loop_Optimization13;
18