gcc/testsuite/gnat.dg/varsize3_1.adb

-- { dg-do compile }

package body Varsize3_1 is

end Varsize3_1;