-- { dg-do compile } with ext1; use ext1; procedure test_ext1 is X : Regular_Smiley; begin X.Set_Mood; end;