package Discr53_Pkg is

  function Max return Natural;

end Discr53_Pkg;