package Numerics.Algo
with SPARK_Mode
is

   procedure Algo (X  : in T_Float;
                   X1 : out T_Float;
                   X2 : out T_Float;
                   X3 : out T_Float;
                   X4 : out T_Float;
                   X5 : out T_Float);

end Numerics.Algo;
