--  Copyright (C) 2016 Free Software Foundation, Inc.
--
--  This file is part of the Cortex GNAT RTS package.
--
--  The Cortex GNAT RTS package 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; see the file COPYING3.  If not, see
--  <http://www.gnu.org/licenses/>.

with Memory_Streams;

package body Streams is

   Str : aliased Memory_Streams.Stream_Type (Capacity => 32);

   procedure Check (N : Integer) is
      M : Integer;
   begin
      Integer'Write (Str'Access, N);
      Integer'Read (Str'Access, M);
      if M /= N then
         raise Program_Error with "Streams.Check: M /= N";
      end if;
   end Check;

end Streams;
