-- { dg-do compile }
-- { dg-options "-ftest-coverage" }

package Coverage1 is

  type Rec is record
    I : Integer := 0;
  end record;

end Coverage1;