package Loop_Optimization22 is
type Discrim_Type (Count : Positive) is null record;
procedure Foo (X : Discrim_Type);
end Loop_Optimization22;