gcc/testsuite/gnat.dg/test_ext1.adb

-- { dg-do compile }

with ext1; use ext1;
procedure test_ext1 is
    X : Regular_Smiley;
begin
    X.Set_Mood;
end;