1package Sync_Iface_Call_Pkg is
2
3   type IFace is synchronized interface;
4
5   procedure Do_Stuff
6     (This  : in out IFace;
7      Value : in Integer) is null;
8
9   procedure Do_Stuff_Access
10     (This  : in out IFace;
11      Value : not null access Integer) is null;
12
13   procedure Do_Stuff_2
14     (This  : not null access IFace;
15      Value : in Integer) is null;
16
17   procedure Do_Stuff_2_Access
18     (This  : not null access IFace;
19      Value : not null access Integer) is null;
20
21end Sync_Iface_Call_Pkg;
22