package Opt56 is
type Vector is array (Positive range <>) of Float;
function F (Values : Vector) return Boolean;
end Opt56;