1 2 3 4 5 6 7 8
package body itype is function G return not null access constant T is X : aliased T; begin return X'Unchecked_Access; end G; end itype;