1 2package body access3 is 3 4 type IT_Access is not null access all IT'Class; 5 for IT_Access'Storage_Size use 0; 6 7 procedure Op 8 (Obj_T2 : in out T2; 9 Obj_IT : not null access IT'Class) 10 is 11 X : constant IT_Access := Obj_IT.all'Unchecked_Access; 12 begin 13 null; 14 end Op; 15 16end access3; 17