with Ada.Numerics.Real_Arrays; use Ada.Numerics.Real_Arrays;

procedure Gnat_Test is
   X : constant Real_Vector (1 .. 2) := (1.0, 2.0);
   M : constant Real_Matrix (1 .. 2, 1 .. 2) := ((1.0, 2.0), (2.0, 3.0));
   V : constant Float := X * X;  --  call to BLAS procedure
   I : constant Real_Matrix := Inverse (M);  --  call to LAPACK procedure
begin
   null;
end Gnat_Test;