+-- Copyright 2006-2019 Free Software Foundation, Inc.
+--
+-- This program is free software; you can redistribute it and/or modify
+-- it under the terms of the GNU General Public License as published by
+-- the Free Software Foundation; either version 3 of the License, or
+-- (at your option) any later version.
+--
+-- This program is distributed in the hope that it will be useful,
+-- but WITHOUT ANY WARRANTY; without even the implied warranty of
+-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+-- GNU General Public License for more details.
+--
+-- You should have received a copy of the GNU General Public License
+-- along with this program. If not, see <http://www.gnu.org/licenses/>.
+
with Pck; use Pck;
procedure P is
Small : Data_Small;
Large : Data_Large;
+ Vector : Small_Float_Vector;
begin
Small := Create_Small;
Large := Create_Large;
+ Vector := Create_Small_Float_Vector;
Small (1) := Large (1);
+ Small (2) := Integer (Vector (1));
end P;