generic
type Record_Type;
package Incomplete5_Pkg is
type Access_Type is access Record_Type;
type Base_Object is tagged record
Handle: Access_Type;
end record;
function Get_Handle(Object: Base_Object) return Access_Type;
function From_Handle(Handle: Access_Type) return Base_Object;
end Incomplete5_Pkg;