package Discr23 is procedure Dummy; end Discr23;