1 2 3 4 5
package itype is generic type T is private; function G return not null access constant T; end itype;