package Discr12_Pkg is

  function Dummy (I : Integer) return Integer;

end Discr12_Pkg;