1 2 3 4 5 6 7 8 9 10 11 12 13
package Opt78 is subtype Reasonable is Integer range 1..10; type UC (D: Reasonable := 2) is record S: String (1 .. D) := "Hi"; end record; type AUC is access all UC; procedure Proc (P : UC; Msg : String); end Opt78;