1package Vect13 is
2
3   -- Constrained array types are vectorizable
4   type Sarray is array (1 .. 4) of Float;
5   for Sarray'Alignment use 16;
6
7   function "+" (X, Y : Sarray) return Sarray;
8   procedure Add (X, Y : Sarray; R : out Sarray);
9
10end Vect13;
11