with Gnat.Io; use Gnat.Io; package body SeqPack is procedure Put(S: Sequence'class) is begin Put(Value(S)); end Put; end SeqPack;