6 function Get return Integer;
11 protected body Prot is
16 function Get return Integer is
23 with procedure Inc is Prot.Inc;
24 with function Get return Integer is Prot.Get;
26 function Add2_Get return Integer;
30 function Add2_Get return Integer is
38 package Inst is new Gen;
41 if Inst.Add2_Get /= 2 then
42 raise Constraint_Error;