gcc/testsuite/gnat.dg/dimensions.adb

--  { dg-do compile }

package body Dimensions is
   procedure Dummy is null;
end Dimensions;