File : example1.adb

with Ada.Float_Text_IO;
with Ada.Text_IO;
with Example_Support; use Example_Support;

procedure Example1 is
   A : Vector (1 .. 2) := (1.0, 1.0);
   B : Vector (1 .. 2) := (1.0, -1.0);
   D : Float := Real_BLAS.DOT (A, B); -- Does your compiler eliminate all overhead?
begin
   Ada.Text_IO.Put ("Dot product is: ");
   Ada.Float_Text_IO.Put (D);
   Ada.Text_IO.New_Line;
   Ada.Text_IO.Flush;
end Example1;