3 with Ada.Streams.Stream_IO; use Ada.Streams.Stream_IO;
5 type Arr is array (1..4) of integer;
6 type Bytes is array (positive range <>) of Character;
7 type Buffer (D : Boolean := False) is record
16 pragma Unchecked_Union (Buffer);
17 pragma Warnings (Off);
25 Buffer'Output (S, Val);