1package Stack_Check3 is
2
3  procedure Reset;
4
5end Stack_Check3;
6