-- { dg-do compile }

package Discr23 is

  procedure Dummy;

end Discr23;