gcc/testsuite/gnat.dg/constant2_pkg2.adb

package body Constant2_Pkg2 is

  function F1 return Boolean is
  begin
    return False;
  end;

  function F2 return Boolean is
  begin
    return False;
  end;

end Constant2_Pkg2;