namespace Stack {        // interface
   void push(char c); 
   char pop();        
}