package Atomic11_Pkg2 is

  function Max return Positive;

end Atomic11_Pkg2;