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