1package Global
2  with Abstract_State => (State with External)
3is
4   protected type Prot_Typ is
5      procedure Force_Body;
6   end Prot_Typ;
7
8   protected Prot_Obj is
9      procedure Force_Body;
10   end Prot_Obj;
11
12   task type Task_Typ is
13      entry Force_Body;
14   end Task_Typ;
15
16   task Task_Obj is
17      entry Force_Body;
18   end Task_Obj;
19end Global;
20