1with Ada.Streams; use Ada.Streams;
2package RT1 is
3   pragma Remote_Types;
4
5   type Ptr is private;
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;
8   for Ptr'Read use Read;
9   for Ptr'Write use Write;
10
11   procedure P (S : access Root_Stream_Type'Class);
12private
13   type Ptr is not null access all Integer;
14end RT1;
15