package Loop_Optimization22 is

  type Discrim_Type (Count : Positive) is null record;

  procedure Foo (X : Discrim_Type);

end Loop_Optimization22;