1package pointer_protected_p is 2 type T; 3 4 type Ptr is access protected procedure (Data : T); 5 6 type T is record 7 Data : Ptr; 8 end record; 9end pointer_protected_p; 10