procedure ALP is

type TRecord is record
    X, Y, Z : Integer ;
end record;
type TArray is array (1 .. 2) of TRecord;
    Z : TArray;
    I : Positive := Z'Last - Z'First;
begin
    for I in Z'range loop
        Z (I ). X := I ** I ;
        Z (Z'Last + 1 - I).Y := (-1) ∗ I;
    end loop;
    Z (Z (1). X).Z := 42;
    Z (Z (2). X + Z (1).Y).Z := 3;
    Z (I ). Y := Z (Z(I).X - Z(Z'Last).Y).X;

end ALP;