with Ada.Text_IO; use Ada.Text_IO; with Ada.Unchecked_Conversion; use Ada;

procedure Main is
    type Base is tagged record
        member1 : Integer;
    end record;
    
    type Derived1 is new Base with record
        member2 : Integer;
        member3 : Integer;
    end record;

    type BaseArray is array (1 .. 8) of Base;
    type Derived1Array is array (1 .. 8) of Derived1;
    function ToBaseArray is new Unchecked_Conversion(Derived1Array, BaseArray);

    function diff1(arr : in BaseArray) return Integer is
        result : Integer := 0;
    begin
        for i in 1 .. arr'Last - 1 loop
            result := result + arr(i+1).member1 - arr(i).member1;
        end loop;
        
        return result;
    end diff1;

    function diff2(arr : in Derived1Array) return Integer is
        result : Integer := 0;
    begin
        for i in 1 .. arr'Last - 1 loop
            result := result + arr(i+1).member1 - arr(i).member1;
        end loop;
        
        return result;
    end diff2;

    arr : Derived1Array;
begin
    for i in arr'Range loop
        arr(i).member1 := 1;
        arr(i).member2 := 5;
        arr(i).member3 := 1337;
    end loop;

    Put_Line(Integer'Image(diff1(ToBaseArray(arr))));
    Put_Line(Integer'Image(diff2(arr)));
end Main;