1 2 3 4 5
package ref_type is private type T is tagged null record; procedure Print (X : T); end ref_type;