package Stack_Check3 is

  procedure Reset;

end Stack_Check3;