with L_Stack; package L_Stack.Reversable is procedure Rev_Stack(S: in out Int_Stack); end L_Stack.Reversable;