gcc/testsuite/gnat.dg/specs/compile_time1_pkg.ads

package Compile_Time1_Pkg is

  type Rec is record
    I : Integer;
  end record;

end Compile_Time1_Pkg;