1 with Ada.Streams; use Ada.Streams;
6 procedure Read (X : access Root_Stream_Type'Class; V : out Ptr) is null;
7 procedure Write (X : access Root_Stream_Type'Class; V : Ptr) is null;
9 for Ptr'Write use Write;
11 procedure P (S : access Root_Stream_Type'Class);
13 type Ptr is not null access all Integer;